Journal article

A generic framework for context-sensitive analysis of modular programs

G Puebla, J Correas, MV Hermenegildo, F Bueno, MG de la Banda, K Marriott, PJ Stuckey, M Bruynooghe, KK Lau

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 2004