PAN - The Prolog Analyzer
No abstract available.
Related papers
- GENA - A Tool for Generating Prolog Analyzers from Specifications SAS 1995
- IGOR: A Tool for Developing Prolog Dataflow Analyzers SAS 1995
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- Analyzing Logic Programs with Dynamic Scheduling POPL 1994
- How to find a fake coin JFP 2019
- Enhancing Prolog to Support Prolog Programming Environments ESOP 1988
- A Classical Implementation for Prolog-II ESOP 1986