IGOR: A Tool for Developing Prolog Dataflow Analyzers
Abstract elided by the publisher.
Related papers
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- GENA - A Tool for Generating Prolog Analyzers from Specifications SAS 1995
- Systems Programming in Concurrent Prolog POPL 1984
- PAN - The Prolog Analyzer SAS 1996
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Property Probes: Source Code Based Exploration of Program Analysis Results SLE 2022
- Statically Analyzing the Dataflow of R Programs OOPSLA 2025
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994