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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4079 LNCS, Issue , 2006, Pages 431-432

  Mera, Edison ^a   López García, Pedro ^a   Puebla, Germán ^a   Carro, Manuel ^b   Hermenegildo, Manuel ^a,b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITY OF NEW MEXICO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33749326921     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11799573_36     Document Type: Conference Paper

References (7)

1. S.J. Craig and M. Leuschel. Self-tuning resource aware specialisation for Prolog. In Proc. of PPDP'05, pages 23-34. ACM Press, 2005.
2. S.K. Debray and N.W. Lin. Cost analysis of logic programs. ACM Transactions on Programming Languages and Systems, 15(5):826-875, November 1993.
3. S.K. Debray, P. López-García, M. Hermenegildo, and N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. In 1997 International Logic Programming Symposium, pages 291-305. MIT Press, Cambridge, MA, October 1997.
4. M. Hermenegildo, E. Albert, P. López-García, and G. Puebla. Abstraction Carrying Code and Resource-Awareness. In Proc. of PPDP'05. ACM Press, July 2005.
5. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, and Pedro López-García. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, 58(1-2):115-140, October 2005.
6. P. López-García, M. Hermenegildo, and S.K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. J. of Symbolic Computation, Special Issue on Parallel Symbolic Computation, 22:715-734, 1996.
7. E. Mera, P. López-García, G. Puebla, M. Carro, and M. Hermenegildo. Towards Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs. Technical Report CLIP5/2006.0, Technical University of Madrid (UPM), School of Computer Science, UPM, April 2006.