@misc{indiciaee0516b762cc4,
  title = {An Approach to Static Performance Guarantees for Programs with Run-time Checks},
  author = {Maximiliano Klemen and Nataliia Stulova and Pedro Lopez-Garcia and José F. Morales and Manuel V. Hermenegildo},
  year = {2018},
  url = {https://arxiv.org/abs/1804.02380},
  note = {Source identifier: 1804.02380}
}