References

[SMH15]

N. Stulova, J. F. Morales, and M. V. Hermenegildo.
Practical Run-time Checking via Unobtrusive Property Caching.
Theory and Practice of Logic Programming, 31st Int'l. Conference on Logic Programming (ICLP'15) Special Issue, 15(04-05):726--741, September 2015.
http://arxiv.org/abs/1507.05986.

[SMH18a]

N. Stulova, J. F. Morales, and M. V. Hermenegildo.
Exploiting Term Hiding to Reduce Run-time Checking Overhead.
In Francesco Calimeri, Kevin Hamlen, and Nicola Leone, editors, 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), number 10702 in LNCS, pages 99--115. Springer-Verlag, January 2018.

[SMH18b]

N. Stulova, J. F. Morales, and M. V. Hermenegildo.
Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis.
Science of Computer Programming, 155:3--26, April 2018.
Selected and Extended papers from the International Symposium on Principles and Practice of Declarative Programming 2016.