The following pages link to Verification: Theory and Practice (Q5305637):
Displaying 22 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- A sound and complete Hoare logic for dynamically-typed, object-oriented programs (Q2026792) (← links)
- Object oriented protoconcepts and logics for double and pure double Boolean algebras (Q2096570) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Declarative programming: a logical view (Q2841254) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Domain-specific semantics and data refinement of object models (Q2873615) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- (Q4230924) (← links)
- (Q4287504) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- Object Specification Logic (Q4849647) (← links)
- Algebraic Methodology and Software Technology (Q5312996) (← links)
- Programming Languages and Systems (Q5316569) (← links)
- A logic for information flow in object-oriented programs (Q5348916) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902541) (← links)
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes (Q5958463) (← links)
