Class refinement as semantics of correct object substitutability

DOI10.1007/S001650070034zbMATH Open0963.68103OpenAlexW2074923340MaRDI QIDQ1586166FDOQ1586166

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

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

zbMATH Keywords

semantic constraintsbehavioural compatibilitycode inheritanceobject substitutabilitysemantics of object-oriented constructs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (7)

• Four Approaches to the Reference Class Problem
• Title not available (Why is that?)
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Graph transformations for object-oriented refinement
• Stepwise refinement of heap-manipulating code in Chalice
• rCOS: a refinement calculus of object systems
• On the correctness of data type classes based on contracts

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)