Pages that link to "Item:Q5310672"

The following pages link to Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages (Q5310672):

Displayed 3 items.

• Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) ‎ (← links)
• On assertion-based encapsulation for object invariants and simulations (Q2643129) ‎ (← links)
• Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) ‎ (← links)