Hermenegildo, M. ; G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, 27 pages, Springer-Verlag, June 2003.

Languages mentioned

• CIAO {1994} Distributed And/Or parallel prolog