Observable interface behaviour and inheritance

DOI10.1017/S0960129514000255zbMATH Open1361.68054OpenAlexW2031018184MaRDI QIDQ5741571FDOQ5741571

Thi Mai Thuong Tran, Martin Steffen, Erika Ábrahám

Publication date: 28 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129514000255

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• On the Semantics of “Data Type”
• Ownership confinement ensures representation independence for object-oriented programs
• A system for compositional verification of asynchronous objects
• A Complete Guide to the Future
• Compositional Reasoning about Shared Futures
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Abstract interface behavior of object-oriented languages with monitors
• Definability and full abstraction

This page was built for publication: Observable interface behaviour and inheritance

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