Abstract diagnosis of functional programs (2002)

by M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
Venue:Logic Based Program Synthesis and Transformation, volume 2664 of Lecture Notes in Computer Science