A Generic Framework for Context-Sensitive Analysis of Modular Programs (2004)

by G Puebla, J Correas, M Hermenegildo, F Bueno, M García de la Banda, K Marriott, P J Stuckey
Venue:Program Development in Computational Logic, A Decade of Research Advances in Logic-Based Program Development, number 3049 in LNCS