The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization
No abstract available.
Related papers
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation SAS 2022
- Automata-Driven Indexing of Prolog Clauses POPL 1990
- Efficient interpretation of Prolog programs PLDI 1987
- A Case for Test-Code Generation in Model-Driven Systems GPCE 2003
- An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler Onward! 2025
- Model-Based Framework: An Approach for Profit-Driven Optimization CGO 2005
- Implementation of a high-speed Prolog interpreter PLDI 1987