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

DOI10.1016/J.JLAP.2009.01.001zbMath1187.68130OpenAlexW2122576055WikidataQ111096743 ScholiaQ111096743MaRDI QIDQ843206

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

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

formal semanticsconcurrencyopen systemsCreolconcurrent object-oriented languagesfutures and promisesobservable behavior

Mathematics Subject Classification ID

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

Related Items (6)

Compositional reasoning about active objects with shared futures ⋮ 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

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A fully abstract may testing semantics for concurrent objects
• Linear logic
• Creol: A type-safe object-oriented model for distributed concurrent systems
• A concurrent lambda calculus with futures
• Issues in the design of a parallel object-oriented language
• Asynchronous sequential processes
• Abstract interface behavior of object-oriented languages with monitors
• Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
• CONCUR '92. 3rd international conference on concurrency theory. Stony Brook, NY, USA, August 24--27, 1992. Proceedings
• Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9--15, 2000. Advanced lectures
• Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
• The semantics of Scheme with future
• Asynchronous and deterministic objects
• MULTILISP: a language for concurrent symbolic computation
• The semantics of future and an application
• A foundation for actor computation
• Abstract Interface Behavior of Object-Oriented Languages with Monitors
• Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
• Programming Languages and Systems
• A Representation-Independent Behavioral Semantics for Object-Oriented Components

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