Completion Semantics, Interpreter Generation
No abstract available.
DOI 10.1145/582153.582180
Related papers
- Skeletal semantics and their interpretations POPL 2019
- Temporal Abstract Interpretation POPL 2000
- Calculational Design of Hyperlogics by Abstract Interpretation POPL 2025
- Sound and complete models of contracts JFP 2006
- A Complete Formal Semantics of eBPF Instruction Set Architecture for Solana OOPSLA 2025
- Modular semantic actions DLS 2016
- Compiler prototyping using formal semantics PLDI 1984
- A semantics-based approach to malware detection TOPLAS 2008