Sign in
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.
Thibaut Benajmin
Julien Signoles
Published in:
TAP (2023)
Keyphrases
</>
abstract interpretation
information systems
active rules
database
termination analysis