Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo. Reducing the overhead of assertion run-time checks via static analysis. In James Cheney, Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. pages 90-103, ACM, 2016. [doi]
Abstract is missing.