458 search results - page 4 / 92 » A Dependently Typed Assembly Language |
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...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
PLDI
2010
ACM
14 years 17 days ago
2010
ACM
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
TOPLAS
2010
13 years 5 months ago
2010
