On simulation, subtyping and substitutability in sequential object systems
From MaRDI portal
Publication:1906038
DOI10.1007/BF01210998zbMATH Open0841.68033OpenAlexW2089391789MaRDI QIDQ1906038FDOQ1906038
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A semantics of multiple inheritance
- A calculus of mobile processes. II
- An axiomatic basis for computer programming
- Ten Years of Hoare's Logic: A Survey—Part I
- Title not available (Why is that?)
- Extensional equivalences for transition systems
- Refinement, conformance and inheritance
- Title not available (Why is that?)
Cited In (7)
Uses Software
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)
