On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
Abstract elided by the publisher.
Related papers
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Incremental analysis of constraint logic programs TOPLAS 2000
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Constraint-based termination analysis of logic programs TOPLAS 1999
- The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering POPL 1993
- Static Type Inference in a Dynamically Typed Language POPL 1991