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

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00909309
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 10:46:12 AM
Last modification on : Friday, January 4, 2019 - 5:32:58 PM
Long-term archiving on : Monday, March 3, 2014 - 4:11:18 PM

File

TGC.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00909309, version 1

Collections

Citation

Elena Giachino, Cosimo Laneve. A Beginner's Guide to the DeadLock Analysis Model. TGC, 2012, Newcastle, United Kingdom. pp.49-63. ⟨hal-00909309⟩

Share

Metrics

Record views

235

Files downloads

294