Building an Interpreter with Vmgen
Abstract elided by the publisher.
Related papers
- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation SAS 2023
- Building Complete Abstract Interpretations in a Linear Logic-based Setting SAS 1998
- Building Interpreters by Composing Monads POPL 1994
- Monad Transformers and Modular Interpreters POPL 1995
- Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach OOPSLA 1994
- A domain-specific language for building self-optimizing AST interpreters GPCE 2014
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Compiling symbolic execution with staging and algebraic effects OOPSLA 2020