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
LOPSTR, 2004.
@inproceedings{PDCL-2004-PueblaCHBBMS,
author = "Germán Puebla and Jesús Correas and Manuel V. Hermenegildo and Francisco Bueno and Maria J. García de la Banda and Kim Marriott and Peter J. Stuckey",
booktitle = "{Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}",
doi = "10.1007/978-3-540-25951-0_8",
isbn = "3-540-22152-2",
pages = "233--260",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Generic Framework for Context-Sensitive Analysis of Modular Programs}",
volume = 3049,
year = 2004,
}
Tags: