1145 search results - page 4 / 229 » The Correctness of an Optimized Code Generation |
109
Voted
CCIA
2006
Springer
15 years 9 months ago
2006
Springer
124
Voted
CMS
2001
15 years 7 months ago
2001
91
Voted
TWC
2008
15 years 5 months ago
2008
141
Voted
COCO
2010
Springer
15 years 9 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...
200
Voted
ESOP
1992
Springer
15 years 10 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...