A generic framework for context-sensitive analysis of modular programs
- Puebla, G.
- Correas, J.
- Hermenegildo, M.V.
- Bueno, F.
- De La Banda, M.G.
- Marriott, K.
- Stuckey, P.J.
ISSN: 0302-9743, 1611-3349
Año de publicación: 2004
Volumen: 3049
Páginas: 233-260
Tipo: Artículo