A generic framework for context-sensitive analysis of modular programs

  1. Puebla, G.
  2. Correas, J.
  3. Hermenegildo, M.V.
  4. Bueno, F.
  5. De La Banda, M.G.
  6. Marriott, K.
  7. Stuckey, P.J.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

Año de publicación: 2004

Volumen: 3049

Páginas: 233-260

Tipo: Artículo