Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.

Edison Mera, Teresa Trigo, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full PADL paper archive.