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