TY  - RPRT
TI  - Practical Run-time Checking via Unobtrusive Property Caching
AU  - Nataliia Stulova
AU  - José F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2015
DO  - 10.1017/s1471068415000344
UR  - https://arxiv.org/abs/1507.05986
ID  - 1507.05986
ER  -