Incremental Reasoning for Multiple Inheritance

DOI10.1007/978-3-642-00255-7_15zbMath1211.68084OpenAlexW2164392194MaRDI QIDQ3605467

Martin Steffen, Olaf Owe, Johan Dovland, Einar Broch Johnsen

Publication date: 24 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00255-7_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Lazy behavioral subtyping

Uses Software

• CLOS
• Eiffel
• JML
• Creol
• Featherweight Java

Cites Work

• Unnamed Item
• Unnamed Item
• Incremental reasoning with lazy behavioral subtyping for multiple inheritance
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Multiple inheritance in SIMULA-like languages
• A semantics of multiple inheritance
• An axiomatic proof technique for parallel programs
• Inheritance in the join calculus.
• A proof outline logic for object-oriented programming
• Separation logic, abstraction and inheritance
• Enhancing modular OO verification with separation logic
• Ten Years of Hoare's Logic: A Survey—Part I
• Separation Logic for Multiple Inheritance
• An axiomatic basis for computer programming
• Formal Methods for Components and Objects

This page was built for publication: Incremental Reasoning for Multiple Inheritance