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.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

Any de publicació: 2004

Volum: 3049

Pàgines: 233-260

Tipus: Article

GOOGLE SCHOLAR
Font de les dades: Scopus