TY  - RPRT
TI  - An Approach to Static Performance Guarantees for Programs with Run-time Checks
AU  - Maximiliano Klemen
AU  - Nataliia Stulova
AU  - Pedro Lopez-Garcia
AU  - José F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2018
UR  - https://arxiv.org/abs/1804.02380
ID  - 1804.02380
ER  -