Practical run-time checking via unobtrusive property caching | Publicación