A Beginner's Guide to the DeadLock Analysis Model

Elena Giachino 1, 2, 3 Cosimo Laneve 3, 4
3 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : This paper is an introduction to the framework for the deadlock analysis of object-oriented languages we have defined in [6, 5]. We present a basic Java-like language and the deadlock analysis model in an accessible way. We also overview the algorithm for deciding deadlock-freeness by discussing a number of paradigmatic examples. We finally explore the techniques for coping with extensions of the object-oriented language.
Type de document :
Communication dans un congrès
TGC, 2012, Newcastle, United Kingdom. Springer, 8191, pp.49-63, 2013, Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00909309
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:46:12
Dernière modification le : samedi 27 janvier 2018 - 01:30:58
Document(s) archivé(s) le : lundi 3 mars 2014 - 16:11:18

Fichier

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

Identifiants

  • HAL Id : hal-00909309, version 1

Collections

INRIA | PPS | USPC

Citation

Elena Giachino, Cosimo Laneve. A Beginner's Guide to the DeadLock Analysis Model. TGC, 2012, Newcastle, United Kingdom. Springer, 8191, pp.49-63, 2013, Lecture Notes in Computer Science. 〈hal-00909309〉

Partager

Métriques

Consultations de la notice

191

Téléchargements de fichiers

187