Using combined static analysis and profiling for logic program execution time estimation

  1. Mera, E.
  2. López-García, P.
  3. Puebla, G.
  4. Carro, M.
  5. Hermenegildo, M.
Collection de livres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

ISBN: 9783540366355

Année de publication: 2006

Logic Programming - 22nd International Conference, ICLP 2006, Proceedings

Volumen: 4079 LNCS

Pages: 431-432

Type: Communication dans un congrès

DOI: 10.1007/11799573_36 GOOGLE SCHOLAR