Published 2012
| Version v1
Conference paper
A Beginner's Guide to the DeadLock Analysis Model
Creators
Contributors
Others:
- Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
- Dipartimento di Informatica [Torino] ; Università degli studi di Torino = University of Turin (UNITO)
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Centre Inria d'Université Côte d'Azur (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
Description
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.
Abstract
International audienceAdditional details
Identifiers
- URL
- https://inria.hal.science/hal-00909309
- URN
- urn:oai:HAL:hal-00909309v1
Origin repository
- Origin repository
- UNICA