Incremental reasoning with lazy behavioral subtyping for multiple inheritance
type: Item
instance of: scholarly article
title: Incremental reasoning with lazy behavioral subtyping for multiple inheritance
zbMATH Open document ID: 1221.68058
author: Johan Dovland
author: Einar Broch Johnsen
author: Olaf Owe
author: Martin Steffen
published in: Science of Computer Programming
publication date: 2011-07-18T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5925515
zbMATH Keywords: lazy behavioral subtyping
zbMATH Keywords: object orientation
zbMATH Keywords: multiple inheritance
zbMATH Keywords: late binding
zbMATH Keywords: proof systems
zbMATH Keywords: code reuse
zbMATH Keywords: method redefinition
zbMATH Keywords: incremental reasoning
describes a project that uses: CLOS
describes a project that uses: JML
describes a project that uses: Scala
describes a project that uses: OCaml
describes a project that uses: Eiffel
describes a project that uses: Creol
describes a project that uses: Featherweight Java
MaRDI profile type: Publication
full work available at URL: j.scico.2010.09.006
OpenAlex ID: W1965677104
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Verification of sequential and concurrent programs
cites work: A semantics of multiple inheritance
cites work: Enhancing modular OO verification with separation logic
cites work: Observable behavior of dynamic systems: component reasoning for concurrent objects
cites work: Lazy behavioral subtyping
cites work: Incremental Reasoning for Multiple Inheritance
cites work: Inheritance in the join calculus.
cites work: An axiomatic basis for computer programming
cites work: Q5626277
cites work: Formal Methods for Components and Objects
cites work: Creol: A type-safe object-oriented model for distributed concurrent systems
cites work: Multiple inheritance in SIMULA-like languages
cites work: Separation Logic for Multiple Inheritance
cites work: Q4371400
cites work: An axiomatic proof technique for parallel programs
cites work: Separation logic, abstraction and inheritance
cites work: A proof outline logic for object-oriented programming
DOI: 10.1016/J.SCICO.2010.09.006
description: scientific article; zbMATH DE number 5925515