Class refinement as semantics of correct object substitutability

DOI10.1007/S001650070034MaRDI QIDQ1586166zbMATHOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1303998
• On simulation, subtyping and substitutability in sequential object systems
• scientific article; zbMATH DE number 1860619
• scientific article; zbMATH DE number 1696907
• Publication:4730749

Cited in

(8)

• scientific article; zbMATH DE number 1860619 (Why is no real title available?)
• About the differences between the notions of type and class
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• On the correctness of data type classes based on contracts
• rCOS: a refinement calculus of object systems
• Graph transformations for object-oriented refinement
• Stepwise refinement of heap-manipulating code in Chalice
• Four Approaches to the Reference Class Problem

Describes a project that uses

Uses Software

• TkWinHOL
• PVS

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

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