Analysis of Imperative Programs through Analysis of Constraint Logic Programs
Abstract elided by the publisher.
Related papers
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011
- A logical analysis of aliasing in imperative higher-order functions JFP 2007
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- Flow Logics for Constraint Based Analysis CC 1998
- Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs ESOP 1999
- Finite-Tree Analysis for Constraint Logic-Based Languages SAS 2001
- Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs SAS 1996
- Constraint-based termination analysis of logic programs TOPLAS 1999