Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation

DOI10.1007/11799573_36zbMath1131.68385OpenAlexW1874299886MaRDI QIDQ5449623

Edison Mera, Pedro Lopez-Garcia, Manuel V. Hermenegildo, Manuel Carro, Germán Puebla

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/14346/

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Justifications for logic programs under answer set semantics ⋮ Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

This page was built for publication: Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation