The following pages link to The dynamic frames theory (Q539422):
Displayed 6 items.
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- Reasoning about Separation Using Abstraction and Reification (Q5268439) (← links)