73 search results - page 4 / 15 » Stack-Based 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...
PLDI
2010
ACM
14 years 15 days ago
2010
ACM
TOPLAS
2010
13 years 5 months ago
2010
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
DNA
2009
Springer
13 years 11 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...