Construction of a Semantic Model for a Typed Assembly Language
No abstract available.
Related papers
- Modeling abstract types in modules with open existential types POPL 2009
- Type-Safe Linking and Modular Assembly Language POPL 1999
- Semantic foundations for typed assembly languages TOPLAS 2010
- Fault-tolerant typed assembly language PLDI 2007
- Stack-based typed assembly language JFP 2003
- A certified type-preserving compiler from lambda calculus to assembly language PLDI 2007
- Stack-based typed assembly language JFP 2002
- Certified assembly programming with embedded code pointers POPL 2006