Pages that link to "Item:Q854171"

The following pages link to Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171):

Displayed 3 items.

• Resources, concurrency, and local reasoning (Q879368) ‎ (← links)
• Observational purity and encapsulation (Q882452) ‎ (← links)
• On assertion-based encapsulation for object invariants and simulations (Q2643129) ‎ (← links)