Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.

Thibaut Benjamin, Julien Signoles

Browse the full SAC paper archive.