The following pages link to Separation logic and abstraction (Q5276150):
Displaying 8 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- The dynamic frames theory (Q539422) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (Q1712495) (← links)
- Sound Automation of Magic Wands (Q6487333) (← links)
