On simulation, subtyping and substitutability in sequential object systems

DOI10.1007/BF01210998zbMath0841.68033OpenAlexW2089391789MaRDI QIDQ1906038

Ian Maung

Publication date: 14 July 1996

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

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

zbMATH Keywords

object-oriented programmingsubstitutabilitybehavioural subtype

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

A Coalgebraic Semantics of Subtyping ⋮ Inheritance of behavior

Uses Software

• Smalltalk
• Eiffel

Cites Work

• Refinement, conformance and inheritance
• Extensional equivalences for transition systems
• A semantics of multiple inheritance
• A calculus of mobile processes. II
• Ten Years of Hoare's Logic: A Survey—Part I
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On simulation, subtyping and substitutability in sequential object systems