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

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