Lecture 14: Interpreters

Topics

Dynamics semantics
- behaviour of programs
Definitional interpreters
Operational semantics
DynSem meta-DSL
- reduction rules
- semantic components: environments, stores
- implicit propagation
- interpreter generation
Partial evaluation
- program specialization
- Futumura projections
Other topics
- AST interpreters
- Bytecode interpreters
- Just-in-time compilers

Compiler Construction | Lecture 14 | Interpreters from Eelco Visser

Vlad A. Vergu, Pierre Néron, Eelco Visser. DynSem: A DSL for Dynamic Semantics Specification. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 365-378, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. PDF
Vlad A. Vergu, Eelco Visser. Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM. In Eli Tilevich, Hanspeter Mössenböck, editors, Proceedings of the 15th International Conference on Managed Languages & Runtimes, ManLang 2018, Linz, Austria, September 12-14, 2018. ACM, 2018.