Correctness of Data Representations Involving Heap Data Structures
Abstract elided by the publisher.
Related papers
- Decidable logics combining heap structures and data POPL 2011
- Go with the flow: compositional abstractions for concurrent data structures POPL 2018
- Higher-Order Specifications for Deductive Synthesis of Programs with Pointers ECOOP 2024
- Heap reference analysis using access graphs TOPLAS 2007
- Natural proofs for structure, data, and separation PLDI 2013
- Higher-order representation predicates in separation logic CPP 2016
- Automatic numeric abstractions for heap-manipulating programs POPL 2010
- Flow-Analysis-Based Closure Optimization PLDI 2026