Andreas Podelski,
Witold Charatonik and
Martin Müller. Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. In
S. Doaitse Swierstra editor, 8th European Symposium of Programming (ESOP '99). Programming Languages and Systems, March 22-28, (1576):177-192, Springer, Amsterdam, The Netherlands, 1999. [Abstract] google [Annote]
|