On simulation, subtyping and substitutability in sequential object systems

DOI10.1007/BF01210998MaRDI QIDQ1906038zbMATH OpenOpenAlexFDO

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

Recommendations

• Publication:4730749
• Specification and verification challenges for sequential object-oriented programs
• scientific article; zbMATH DE number 2088359
• scientific article; zbMATH DE number 1696907
• scientific article; zbMATH DE number 2086521
• Simplifying subtyping constraints: a theory
• Subtyping inheritance and its application in languages for symbolic computation systems
• scientific article; zbMATH DE number 1696434
• A delegation-based object calculus with subtyping
• Constrained simulations, nested simulation semantics and counting bisimulations

Cites work

• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 43417 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 795679 (Why is no real title available?)
• A calculus of mobile processes. II
• A semantics of multiple inheritance
• An axiomatic basis for computer programming
• Extensional equivalences for transition systems
• Refinement, conformance and inheritance
• Ten Years of Hoare's Logic: A Survey—Part I

Cited in

(7)

• Simulation of behaviour and object substitutability
• Theoretical Computer Science
• Inheritance of behavior
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• Class refinement as semantics of correct object substitutability
• A coalgebraic semantics of subtyping
• scientific article; zbMATH DE number 2011482 (Why is no real title available?)

Describes a project that uses

Uses Software

• Eiffel
• Smalltalk

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

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