Programming Systems Lab: Publications by Witold Charatonik

Saarland University Computer Science

Select author:

1999

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

1997

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.


Login to edit


Webmaster, Mon May 30 13:48:30 2016