Towards Static Performance Guarantees for Programs with Run-Time Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo

Browse the full ICLP paper archive.