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

Cached

Download Links

by German Puebla , Jesus Correas , Manuel V. Hermenegildo , Francisco Bueno , Maria Garcia de la Banda , María García De La B , Kim Marriott , Peter J. Stuckey
Venue:Program Development in Computational Logic, A Decade of Research Advances in Logic-Based Program Development, number 3049 in LNCS
Citations:7 - 4 self