1145 search results - page 4 / 229 » The Correctness of an Optimized Code Generation |
CCIA
2006
Springer
15 years 1 months ago
2006
Springer
CMS
2001
14 years 11 months ago
2001
TWC
2008
14 years 9 months ago
2008
67
Voted
COCO
2010
Springer
15 years 1 months ago
2010
Springer
We describe a new approach for the problem of finding rigid matrices, as posed by Valiant [Val77], by connecting it to the, seemingly unrelated, problem of proving lower bounds f...
118
Voted
ESOP
1992
Springer
15 years 1 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...