Implementation of a high-speed Prolog interpreter
No abstract available.
Related papers
- Efficient interpretation of Prolog programs PLDI 1987
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization SAS 1994
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- Cint: a RISC interpreter for the C programming language PLDI 1987
- Self-optimizing AST interpreters DLS 2012
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- Type Analysis of Prolog Using Type Graphs PLDI 1994