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

Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo

Browse the full ICLP paper archive.