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
Year of publication: 2004
Volume: 3049
Pages: 233-260
Type: Article