Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
From MaRDI portal
Publication:5452611
DOI10.1007/978-3-540-69738-1_17zbMath1132.68467OpenAlexW1738877549MaRDI QIDQ5452611
Publication date: 4 April 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_17
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (2)
A novel analysis space for pointer analysis and its application for bug finding ⋮ Observations on the assured evolution of concurrent Java programs
This page was built for publication: Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
