1145 search results - page 4 / 229 » The Correctness of an Optimized Code Generation |
CCIA
2006
Springer
13 years 11 months ago
2006
Springer
CMS
2001
13 years 9 months ago
2001
TWC
2008
13 years 7 months ago
2008
COCO
2010
Springer
13 years 11 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...
ESOP
1992
Springer
13 years 11 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...