Class refinement as semantics of correct object substitutability

DOI10.1007/S001650070034zbMath0963.68103OpenAlexW2074923340MaRDI QIDQ1586166

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Publication date: 14 November 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650070034

zbMATH Keywords

semantic constraintsbehavioural compatibilitycode inheritanceobject substitutabilitysemantics of object-oriented constructs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

rCOS: a refinement calculus of object systems ⋮ Stepwise refinement of heap-manipulating code in Chalice ⋮ A Representation-Independent Behavioral Semantics for Object-Oriented Components ⋮ Graph transformations for object-oriented refinement

Uses Software

• TkWinHOL
• PVS

This page was built for publication: Class refinement as semantics of correct object substitutability