GENA - A Tool for Generating Prolog Analyzers from Specifications
Abstract elided by the publisher.
Related papers
- IGOR: A Tool for Developing Prolog Dataflow Analyzers SAS 1995
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- PAN - The Prolog Analyzer SAS 1996
- Parsing and Compiling Using Prolog TOPLAS 1987
- A pi-Calculus Specification of Prolog ESOP 1994
- Analyzing Logic Programs with Dynamic Scheduling POPL 1994
- Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study PLDI 1996
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994