Flow Logics for Constraint Based Analysis
No abstract available.
Related papers
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- Historia: Refuting Callback Reachability with Message-History Logics OOPSLA 2023
- Analysis of Imperative Programs through Analysis of Constraint Logic Programs SAS 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
- Information Flow Analysis in Logical Form SAS 2004
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009