Constraint-Based Program Analysis (Abstract)
No abstract available.
Related papers
- Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract) TACAS 1996
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Automatic modular abstractions for linear constraints POPL 2009
- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis TACAS 2023
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Constraint-based termination analysis of logic programs TOPLAS 1999
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009