73 search results - page 4 / 15 » Stack-Based Typed Assembly Language |
115
click to vote
TIC
2000
Springer
15 years 3 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...
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
TOPLAS
2010
14 years 10 months ago
2010
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
110
click to vote
DNA
2009
Springer
15 years 3 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...