Set-based Error Diagnosis of Concurrent Constraint Programs

Andreas Podelski; Witold Charatonik; Martin Müller

Publication details

Programming Systems

Set-based Error Diagnosis of Concurrent Constraint Programs

Andreas Podelski, Witold Charatonik, Martin Müller

Technical Report, \URL\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html. Submitted., December 1997

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.

Download PDF Show BibTeX

@TECHREPORT{Diagnosis:97,
  title = {Set-based Error Diagnosis of Concurrent Constraint Programs},
  author = {Andreas Podelski and Witold Charatonik and Martin Müller},
  year = {1997},
  month = {dec},
  note = {{\URL{\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html}.           Submitted.}},
}

Legal notice, Privacy policy