Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
(pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Proceedings of ESOP'99, the European Symposium of Programmin
Set-based Error Diagnosis of Concurrent Constraint Programs
(pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Technical Report, \URL\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html. Submitted.