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

DOI10.1007/11799573_36MaRDI QIDQ5449623zbMATH OpenOpenAlexFDO

Authors E. Mera, P. López-García, Germán Puebla, M. Carro, Manuel Hermenegildo

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)

Recommendations

• On the complexity analysis of static analyses
• A general framework for static cost analysis of parallel logic programs
• Static timing analysis -- what is special?
• scientific article; zbMATH DE number 1930748
• scientific article; zbMATH DE number 879004

Cited in

(7)

• Measuring the execution time of fragmented programs
• A transformational approach to parametric accumulated-cost static profiling
• On the complexity analysis of static analyses
• Justifications for logic programs under answer set semantics
• scientific article; zbMATH DE number 1930748 (Why is no real title available?)
• A general framework for static cost analysis of parallel logic programs
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449623)