Experiments in ContextSensitive Analysis of Modular Programs (2006)

by J Correas, G Puebla, M Hermenegildo, F Bueno
Venue:In LOPSTR’05, number 3901 in LNCS