@TechReport{Podelski_et_al:1997,
AUTHOR = {Podelski, Andreas and Charatonik, Witold and Müller, Martin},
TITLE = {Set-Based Error Diagnosis of Concurrent Constraint Programs},
YEAR = {1997},
MONTH = {December},
ADDRESS = {Saarbrücken},
TYPE = {Technical Report},
INSTITUTION = {Universität des Saarlandes},
URL = {http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/Diagnosis-97.ps.gz},
ABSTRACT = {We present an automated method for the static prediction of the run-time error 'deadlock or failure' in concurrent constraint programs. The method is based on a new set-based analysis of reactive logic programs which computes an approximation of the greatest-model semantics. Semantically, the method is based on the connection between the inevitability of 'deadlock or failure' in concurrent constraint programs, finite failure in logic programming and the greatest-model semantics over infinite trees.},
ANNOTE = {COLIURL : Podelski:1997:SBE.pdf Podelski:1997:SBE.ps}
}
|
