Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters
Abstract elided by the publisher.
Related papers
- Garbage-Free Abstract Interpretation Through Abstract Reference Counting ECOOP 2019
- Abstracting abstract machines ICFP 2010
- Abstracting definitional interpreters (functional pearl) ICFP 2017
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ICFP 2018
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023
- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions VMCAI 2008
- Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof ECOOP 1998