Pages that link to "Item:Q5415649"
From MaRDI portal
The following pages link to Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649):
Displaying 4 items.
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (Q3087993) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
