Diagnosis of CHIP Programs Using Type Information

Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak. Diagnosis of CHIP Programs Using Type Information. In Maria Chiara Meo, Manuel Vilares Ferro, editors, 1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999. pages 337-350, 1999.