Debugging Concurrent (Logic) Programs with Abstract Interpretation

12^th October 2004, 16:00
Andy King
Computing Laboratory University of Kent, Canterbury, UK