From Concrete Examples to Heap Manipulating Programs
No abstract available.
Related papers
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010
- A semantics for procedure local heaps and its abstractions POPL 2005
- Certifying graph-manipulating C programs via localizations within data structures OOPSLA 2019
- Inductive Synthesis of Inductive Heap Predicates OOPSLA 2025
- Structuring the synthesis of heap-manipulating programs POPL 2019
- Synthesizing Heap Manipulations via Integer Linear Programming SAS 2015
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software CAV 2007
- Checking Properties of Heap-Manipulating Procedures with a Constraint Solver TACAS 2003