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). Science of Computer Programming, 58(1-2):115-140, 2005. [doi]
Abstract is missing.