Incremental Reasoning for Multiple Inheritance
From MaRDI portal
Recommendations
Cites work
- A proof outline logic for object-oriented programming
- A semantics of multiple inheritance
- An axiomatic basis for computer programming
- An axiomatic proof technique for parallel programs
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Enhancing modular OO verification with separation logic
- Formal Methods for Components and Objects
- scientific article; zbMATH DE number 50008 (Why is no real title available?)
- scientific article; zbMATH DE number 1105469 (Why is no real title available?)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- Inheritance in the join calculus.
- Multiple inheritance in SIMULA-like languages
- Separation Logic for Multiple Inheritance
- Separation logic, abstraction and inheritance
- Ten Years of Hoare's Logic: A Survey—Part I
Cited in
(9)- scientific article; zbMATH DE number 2033539 (Why is no real title available?)
- A proof system for adaptable class hierarchies
- Incremental analysis of logic programs with assertions and open predicates
- MRI: modular reasoning about interference in incremental programming
- Metamodeling semantics of multiple inheritance
- Separation Logic for Multiple Inheritance
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- Design and evaluation of C++ open multi-methods
- Lazy behavioral subtyping
This page was built for publication: Incremental Reasoning for Multiple Inheritance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605467)
