Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).

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

Browse the full SAS paper archive.