Static Performance Guarantees for Programs with Runtime Checks.

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

Browse the full PPDP paper archive.