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

Manuel V. Hermenegildo Germán Puebla Francisco Bueno Pedro López-García Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). 127-152 2003 conf/sas/2003 SAS http://link.springer.de/link/service/series/0558/bibs/2694/26940127.htm db/conf/sas/sas2003.html#HermenegildoPBL03