A Beginner's Guide to the DeadLock Analysis Model - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

A Beginner's Guide to the DeadLock Analysis Model

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.
Fichier principal
Vignette du fichier
TGC.pdf (183.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00909309 , version 1 (26-11-2013)

Identifiers

  • HAL Id : hal-00909309 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More