51 search results - page 11 / 11 » Modular Structural Operational Semantics with Strategies |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...