Experiments in Context-Sensitive Analysis of Modular Programs.

Jess Correas, Germn Puebla, Manuel V. Hermenegildo, Francisco Bueno

Browse the full LOPSTR paper archive.