Fault Model Design Space for Cooperative Concurrency - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Fault Model Design Space for Cooperative Concurrency

Abstract

This paper critically discusses the different choices that have to be made when defining a fault model for an object-oriented programming language. We consider in particular the ABS language, and analyze the interplay between the fault model and the main features of ABS, namely the cooperative concurrency model, based on asynchronous method invocations whose return results via futures, and its emphasis on static analysis based on invariants.
Fichier principal
Vignette du fichier
isola2014.pdf (282.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01089341 , version 1 (01-12-2014)

Identifiers

Cite

Ivan Lanese, Michael Lienhardt, Mario Bravetti, Volker Stolz, Rudolf Schlatte, et al.. Fault Model Design Space for Cooperative Concurrency. ISOLA 2014, Oct 2014, Corfu, Greece. pp.22 - 36, ⟨10.1007/978-3-662-45231-8_3⟩. ⟨hal-01089341⟩

Collections

INRIA INRIA2
125 View
118 Download

Altmetric

Share

Gmail Facebook X LinkedIn More