Global Analysis of Standard Prolog Programs
Abstract elided by the publisher.
Related papers
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- An Abstract Machine for CLP(R) PLDI 1992
- Analyzing Logic Programs with Dynamic Scheduling POPL 1994
- Type Analysis of Prolog Using Type Graphs PLDI 1994
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- Peep: an architectural description driven peephole optimizer PLDI 1984
- Compiling Dataflow Analysis of Logic Programs PLDI 1992