Skip to main content
Article thumbnail
Location of Repository

A Beginner's Guide to the DeadLock Analysis Model

By Elena Giachino and Cosimo Laneve

Abstract

International audienceThis 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

Topics: [ SCCO.COMP ] Cognitive science/Computer science
Publisher: Springer
Year: 2012
OAI identifier: oai:HAL:hal-00909309v1
Provided by: Hal-Diderot

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.