Developing Efficient Interpreters Based on Formal Language Specifications
Abstract elided by the publisher.
Related papers
- Petr4: formal foundations for p4 data planes POPL 2021
- Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis ECOOP 2025
- A mechanized formalization of GraphQL CPP 2020
- Occurences in Debugger Specifications PLDI 1991
- Progressful Interpreters for Efficient WebAssembly Mechanisation POPL 2025
- Towards efficient and verified virtual machines for dynamic languages CPP 2021
- A trustworthy mechanized formalization of R DLS 2018
- Formal Specification and Testing for Reinforcement Learning ICFP 2023