Behavioral interface description of an object-oriented language with futures and promises

DOI10.1016/J.JLAP.2009.01.001MaRDI QIDQ843206zbMATH OpenOpenAlexWikidataFDO

Authors Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen

Publication date 29 September 2009

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2009.01.001

zbMATH Keywords

concurrencyconcurrent object-oriented languagesCreolformal semanticsfutures and promisesobservable behavioropen systems

Mathematics Subject Classification ID

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

Recommendations

• Abstract interface behavior of object-oriented languages with monitors
• A Complete Guide to the Future
• Abstract interface behavior of object-oriented languages with monitors
• Observable interface behaviour and inheritance
• Compositional reasoning about active objects with shared futures

Cites work

• A concurrent lambda calculus with futures
• A foundation for actor computation
• A fully abstract may testing semantics for concurrent objects
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Abstract interface behavior of object-oriented languages with monitors
• Abstract interface behavior of object-oriented languages with monitors
• Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9--15, 2000. Advanced lectures
• Asynchronous and deterministic objects
• Asynchronous sequential processes
• CONCUR '92. 3rd international conference on concurrency theory. Stony Brook, NY, USA, August 24--27, 1992. Proceedings
• Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• scientific article; zbMATH DE number 48517 (Why is no real title available?)
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• Issues in the design of a parallel object-oriented language
• Linear logic
• MULTILISP: a language for concurrent symbolic computation
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Programming Languages and Systems
• The semantics of future and an application
• The semantics of Scheme with future

Cited in

(9)

• Secure implementation of asynchronous method calls and futures
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Termination detection for active objects
• A sound and complete reasoning system for asynchronous communication with shared futures
• Abstract interface behavior of object-oriented languages with monitors
• Observable interface behaviour and inheritance
• A Complete Guide to the Future
• Compositional reasoning about active objects with shared futures

Describes a project that uses

Uses Software

• Featherweight Java
• ABCL
• Scala
• Java Jr
• Multilisp
• Creol

This page was built for publication: Behavioral interface description of an object-oriented language with futures and promises

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