Pages that link to "Item:Q3183546"
From MaRDI portal
The following pages link to A Formalisation of Smallfoot in HOL (Q3183546):
Displaying 5 items.
- Function extraction (Q436372) (← links)
- Reasoning about memory layouts (Q633298) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Reasoning about Assignments in Recursive Data Structures (Q2999318) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
