An Approach to Static Performance Guarantees for Programs with Run-time Checks

Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia +2

Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program beha…