Efficient Runtime Assertion Checking for Properties over Mathematical Numbers - Kosmatov, Nikolai; Maurica, Fonenantsoa; Signoles, Julien (Runtime Verification, 2020)
Keywords: Numerical properties; Optimized code generation; Rational numbers; Runtime assertion checking; Typing