The following pages link to The dynamic frames theory (Q539422):
Displaying 11 items.
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- We-thinking and vacillation between frames: filling a gap in Bacharach's theory (Q1930912) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- Capturing dynamic conceptual frames (Q3577910) (← links)
- An Outline of a Dynamic Theory of Frames (Q4914516) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- Reasoning about Separation Using Abstraction and Reification (Q5268439) (← links)
- Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)