Incremental reasoning with lazy behavioral subtyping for multiple inheritance

DOI10.1016/J.SCICO.2010.09.006MaRDI QIDQ549694zbMATH OpenOpenAlexFDO

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

Publication date 18 July 2011

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.09.006

zbMATH Keywords

object orientationproof systemsmultiple inheritancecode reuseincremental reasoninglate bindinglazy behavioral subtypingmethod redefinition

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Incremental Reasoning for Multiple Inheritance
• Lazy behavioral subtyping
• A proof system for adaptable class hierarchies
• scientific article; zbMATH DE number 1569128
• Separation Logic for Multiple Inheritance

Cites work

• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• 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
• Incremental Reasoning for Multiple Inheritance
• Inheritance in the join calculus.
• Lazy behavioral subtyping
• Multiple inheritance in SIMULA-like languages
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Separation Logic for Multiple Inheritance
• Separation logic, abstraction and inheritance
• Ten Years of Hoare's Logic: A Survey—Part I
• Verification of sequential and concurrent programs

Cited in

(5)

• Lazy behavioral subtyping
• Incremental Reasoning for Multiple Inheritance
• MRI: modular reasoning about interference in incremental programming
• Verifying traits: an incremental proof system for fine-grained reuse
• A proof system for adaptable class hierarchies

Describes a project that uses

Uses Software

• CLOS
• Eiffel
• JML
• OCaml
• Scala
• Creol
• Featherweight Java

This page was built for publication: Incremental reasoning with lazy behavioral subtyping for multiple inheritance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549694)