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.
Type de document :
Communication dans un congrès
ISOLA 2014, Oct 2014, Corfu, Greece. Springer, 8803, pp.22 - 36, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-45231-8_3〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01089341
Contributeur : Ivan Lanese <>
Soumis le : lundi 1 décembre 2014 - 15:21:54
Dernière modification le : samedi 27 janvier 2018 - 01:30:50
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:34:14

Fichier

isola2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Springer, 8803, pp.22 - 36, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-45231-8_3〉. 〈hal-01089341〉

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

78