Observable interface behaviour and inheritance

DOI10.1017/S0960129514000255zbMath1361.68054OpenAlexW2031018184MaRDI QIDQ5741571

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

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

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