Pages that link to "Item:Q5313101"
From MaRDI portal
The following pages link to Mathematics of Program Construction (Q5313101):
Displaying 11 items.
- The dynamic frames theory (Q539422) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- Verified software units (Q2233451) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- From predicates to programs: the semantics of a method language (Q2870332) (← links)
- Invariants for non-hierarchical object structures (Q2873622) (← links)
- A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)