Pages that link to "Item:Q3184673"
From MaRDI portal
The following pages link to A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673):
Displaying 8 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- A shape graph logic and a shape system (Q744329) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Decision Procedure for Entailment of Symbolic Heaps with Arrays (Q5055997) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
