Integrated program debugging, verification, and optimization using abstract interpretation (and the ciao system preprocessor (2005)

by M V Hermenegildo, G Puebla, F Bueno, P Lopez-Garcia
Venue:Science of Computer Programming