Pages that link to "Item:Q3087993"
From MaRDI portal
The following pages link to Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (Q3087993):
Displaying 5 items.
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- A formal C memory model for separation logic (Q1694027) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
