A Decidable Logic for Tree Data-Structures with Measurements
Abstract elided by the publisher.
Related papers
- Decidable logics combining heap structures and data POPL 2011
- Deciding validity in a spatial logic for trees JFP 2005
- A Decidable Logic for Describing Linked Data Structures ESOP 1999
- Graph Types POPL 1993
- A logic you can count on POPL 2004
- Strong-separation Logic TOPLAS 2022
- Complexity Analysis of Tree Share Structure APLAS 2018
- The Pointer Assertion Logic Engine PLDI 2001