Observable interface behaviour and inheritance

DOI10.1017/S0960129514000255MaRDI QIDQ5741571zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Abstract interface behavior of object-oriented languages with monitors
• Abstract interface behavior of object-oriented languages with monitors
• scientific article; zbMATH DE number 1304368
• Sound and relaxed behavioural inheritance
• Behavioral interface description of an object-oriented language with futures and promises

Cites work

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

Cited in

(2)

• Abstract interface behavior of object-oriented languages with monitors
• Behavioral interface description of an object-oriented language with futures and promises

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)