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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01089341
Contributor : Ivan Lanese <>
Submitted on : Monday, December 1, 2014 - 3:21:54 PM
Last modification on : Saturday, January 27, 2018 - 1:30:50 AM
Long-term archiving on : Monday, March 2, 2015 - 1:34:14 PM

File

isola2014.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

232

Files downloads

135