Thibaut Benjamin, Julien Signoles. Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. In Jiman Hong, Maart Lanperne, Juw Won Park, Tomás Cerný, Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023. pages 1673-1680, ACM, 2023. [doi]
Abstract is missing.