Stack-based typed assembly language
Abstract
The following three figures (figures 10, 11 and 12) were not shown in the original published version of the article. These figures constitute the entire static semantics of the STAL type system.
Related papers
- Stack-based typed assembly language JFP 2002
- Modular verification of assembly code with stack-based control abstractions PLDI 2006
- FunTAL: reasonably mixing a functional language with assembly PLDI 2017
- A Simple Proof Technique for Certain Parametricity Results ICFP 1999
- Safe to the last instruction: automated verification of a type-safe operating system PLDI 2010
- Typing a multi-language intermediate code POPL 2001
- Notions of Stack-Manipulating Computation and Relative Monads OOPSLA 2025
- An abstract stack based approach to verified compositional compilation to machine code POPL 2019