3056 search results - page 57 / 612 » Compiling Embedded Languages |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
JFP
2000
13 years 7 months ago
2000
FPL
2010
Springer
13 years 6 months ago
2010
Springer
MEMICS
2010
13 years 2 months ago
2010
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...