Pages that link to "Item:Q3523161"
From MaRDI portal
The following pages link to Separation Logic for Small-Step cminor (Q3523161):
Displayed 12 items.
- cminor (Q21718) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- The Relationship between Separation Logic and Implicit Dynamic Frames (Q3000593) (← links)
- A Machine-Checked Framework for Relational Separation Logic (Q3095237) (← links)
- Practical Tactics for Separation Logic (Q3183539) (← links)
- A Formalisation of Smallfoot in HOL (Q3183546) (← links)
- Lightweight Separation (Q3543659) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)