Pages that link to "Item:Q2571207"
From MaRDI portal
The following pages link to A proof outline logic for object-oriented programming (Q2571207):
Displaying 15 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- WP Semantics and Behavioral Subtyping (Q3105750) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- (Q4287504) (← links)
- Verification: Theory and Practice (Q5305637) (← links)
- Algebraic Methodology and Software Technology (Q5312996) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902541) (← links)
- Abstraction and subsumption in modular verification of C programs (Q6535970) (← links)