Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo. Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 431-432, Springer, 2006. [doi]
Abstract is missing.