Behavioral interface description of an object-oriented language with futures and promises
type: Item
instance of: scholarly article
title: Behavioral interface description of an object-oriented language with futures and promises
zbMATH Open document ID: 1187.68130
author: Erika Ábrahám
author: Immo Grabe
author: Andreas Grüner
author: Martin Steffen
published in: The Journal of Logic and Algebraic Programming
publication date: 2009-09-29T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5609490
zbMATH Keywords: concurrent object-oriented languages
zbMATH Keywords: Creol
zbMATH Keywords: formal semantics
zbMATH Keywords: concurrency
zbMATH Keywords: futures and promises
zbMATH Keywords: open systems
zbMATH Keywords: observable behavior
describes a project that uses: Featherweight Java
describes a project that uses: ABCL
describes a project that uses: Scala
describes a project that uses: Java Jr
describes a project that uses: Multilisp
describes a project that uses: Creol
MaRDI profile type: Publication
full work available at URL: j.jlap.2009.01.001
OpenAlex ID: W2122576055
Wikidata QID: Q111096743
cites work: Q4715213
cites work: Abstract Interface Behavior of Object-Oriented Languages with Monitors
cites work: Abstract interface behavior of object-oriented languages with monitors
cites work: Issues in the design of a parallel object-oriented language
cites work: Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9--15, 2000. Advanced lectures
cites work: Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
cites work: Q4671826
cites work: Asynchronous sequential processes
cites work: Asynchronous and deterministic objects
cites work: CONCUR '92. 3rd international conference on concurrency theory. Stony Brook, NY, USA, August 24--27, 1992. Proceedings
cites work: Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
cites work: The semantics of future and an application
cites work: Q4813226
cites work: Linear logic
cites work: A foundation for actor computation
cites work: MULTILISP: a language for concurrent symbolic computation
cites work: A fully abstract may testing semantics for concurrent objects
cites work: Programming Languages and Systems
cites work: Creol: A type-safe object-oriented model for distributed concurrent systems
cites work: Q3997397
cites work: The semantics of Scheme with future
cites work: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
cites work: A concurrent lambda calculus with futures
cites work: A Representation-Independent Behavioral Semantics for Object-Oriented Components
cites work: Q3750106
DOI: 10.1016/J.JLAP.2009.01.001
description: scientific article; zbMATH DE number 5609490