Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.

Manuel V. Hermenegildo, Francisco Bueno, Germn Puebla, Pedro Lpez-Garca

Browse the full ICLP paper archive.