Pages that link to "Item:Q5255079"
From MaRDI portal
The following pages link to Structuring the verification of heap-manipulating programs (Q5255079):
Displayed 4 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- A Machine-Checked Framework for Relational Separation Logic (Q3095237) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)