Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo. Practical run-time checking via unobtrusive property caching. TPLP, 15(4-5):726-741, 2015. [doi]
@article{StulovaMH15, title = {Practical run-time checking via unobtrusive property caching}, author = {Nataliia Stulova and José F. Morales and Manuel V. Hermenegildo}, year = {2015}, doi = {10.1017/S1471068415000344}, url = {http://dx.doi.org/10.1017/S1471068415000344}, researchr = {https://researchr.org/publication/StulovaMH15}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {15}, number = {4-5}, pages = {726-741}, }