Pages that link to "Item:Q5452600"
From MaRDI portal
The following pages link to Shape Analysis of Single-Parent Heaps (Q5452600):
Displayed 4 items.
- Verification of multi-linked heaps (Q439948) (← links)
- A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)