Abstract Interpretation from Improving WAM Code
Abstract elided by the publisher.
Related papers
- Compiling Dataflow Analysis of Logic Programs PLDI 1992
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998
- Memory Management for Prolog with Tabling ISMM 1998
- An Abstract Machine for CLP(R) PLDI 1992
- Parameter Passing and Control Stack Management in Prolog Implementation Revisited TOPLAS 1996
- Compiling with Abstract Interpretation PLDI 2024
- Concerto: a framework for combined concrete and abstract interpretation POPL 2019
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023