A Generic Framework for Context-Sensitive Analysis of Modular Programs

Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey. A Generic Framework for Context-Sensitive Analysis of Modular Programs. In Maurice Bruynooghe, Kung-Kiu Lau, editors, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Volume 3049 of Lecture Notes in Computer Science, pages 233-260, Springer, 2004. [doi]

Authors

Germán Puebla

This author has not been identified. Look up 'Germán Puebla' in Google

Jesús Correas

This author has not been identified. Look up 'Jesús Correas' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google

Francisco Bueno

This author has not been identified. Look up 'Francisco Bueno' in Google

Maria J. García de la Banda

This author has not been identified. Look up 'Maria J. García de la Banda' in Google

Kim Marriott

This author has not been identified. Look up 'Kim Marriott' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google