Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).

Manuel V. Hermenegildo Germán Puebla Francisco Bueno Pedro López-García Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). 115-140 2005 58 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2005.02.006 db/journals/scp/scp58.html#HermenegildoPBL05