A generic framework for context-sensitive analysis of modular programs (2004)

by G Puebla, J Correas, M Hermenegildo, F Bueno, M G de la Banda, K Marriott, P J Stuckey
Venue:In Program Development in Computational Logic, A Decade of Research Advances in LogicBased Program Development, LNCS