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

Ano de publicación: 2004

Volume: 3049

Páxinas: 233-260

Tipo: Artigo