Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.

Thibaut Benjamin, Julien Signoles

Browse the full TAP paper archive.