Checking Properties of Heap-Manipulating Procedures with a Constraint Solver
No abstract available.
Related papers
- Modular reasoning about heap paths via effectively propositional formulas POPL 2014
- A decision procedure for subset constraints over regular languages PLDI 2009
- Bennet: Randomized Specification Testing for Heap-Manipulating Programs OOPSLA 2025
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- Decidable logics combining heap structures and data POPL 2011
- Relevance heuristics for program analysis POPL 2008
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008
- Decision Procedures for Sequence Theories CAV 2023