Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Abstract elided by the publisher.
Related papers
- Graph Types POPL 1993
- Arithmetizing Shape Analysis CAV 2025
- Shape Types POPL 1997
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- Verifying properties of well-founded linked lists POPL 2006
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It Onward! 2014