Book Chapter

A Generic Framework for Context-Sensitive Analysis of Modular Programs

G PUEBLA, M HERMENEGILDO, MG DE LA BANDA, F BUENO, K MARRIOTT, PJ STUCKEY, M BRUYNOOGHE, KK LAU

Program Development in Computational Logic | Springer Verlag | Published : 2004