Shape Analysis of Single-Parent Heaps

DOI10.1007/978-3-540-69738-1_7zbMATH Open1132.68346OpenAlexW1505309070MaRDI QIDQ5452600FDOQ5452600

Authors: Ittai Balaban, Amir Pnueli, Lenore D. Zuck 

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_7

Recommendations

• Verification of multi-linked heaps
• Verification, Model Checking, and Abstract Interpretation
• Static Analysis
• Shape analysis of sets
• Logical characterizations of heap abstractions

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• An efficient decision procedure for imperative tree data structures
• Verification of multi-linked heaps
• Monotonic Abstraction for Programs with Dynamic Memory Heaps
• A Logic-Based Framework for Reasoning about Composite Data Structures

This page was built for publication: Shape Analysis of Single-Parent Heaps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452600)