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

Authors:
Edison Mera;Pedro López-García;Germán Puebla;Manuel Carro;Manuel Hermenegildo
Affiliations:
Technical University of Madrid;Technical University of Madrid;Technical University of Madrid;Technical University of Madrid;Technical University of Madrid
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 6
Cited 1

Cost analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology for granularity-based control of parallelism in logic programs

Journal of Symbolic Computation - Special issue on parallel symbolic computation
Lower bound cost estimation for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Abstraction carrying code and resource-awareness

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Self-tuning resource aware specialisation for prolog

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Justifications for logic programs under answer set semantics

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints. A starting point in order to attack this problem is to infer the computational complexity of such programs (or fragments thereof). This is one of the reasons why the development of static analysis techniques for inferring cost-related properties of programs (usually upper and/or lower bounds of actual costs) has received considerable attention.