51 search results - page 11 / 11 » Modular Structural Operational Semantics with Strategies |
130
Voted
POPL
2010
ACM
16 years 3 days 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...