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
Datum der Publikation: 2004
Ausgabe: 3049
Seiten: 233-260
Art: Artikel