Incremental reasoning with lazy behavioral subtyping for multiple inheritance

DOI10.1016/J.SCICO.2010.09.006zbMATH Open1221.68058OpenAlexW1965677104MaRDI QIDQ549694FDOQ549694

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

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

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)

Cites Work

• Title not available (Why is that?)
• A semantics of multiple inheritance
• An axiomatic basis for computer programming
• Ten Years of Hoare's Logic: A Survey—Part I
• Title not available (Why is that?)
• An axiomatic proof technique for parallel programs
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Formal Methods for Components and Objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Verification of sequential and concurrent programs
• A proof outline logic for object-oriented programming
• Lazy behavioral subtyping
• Multiple inheritance in SIMULA-like languages
• Inheritance in the join calculus.
• Separation logic, abstraction and inheritance
• Enhancing modular OO verification with separation logic
• Incremental Reasoning for Multiple Inheritance
• Separation Logic for Multiple Inheritance

Cited In (5)

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

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)