Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) | Publicación