Garbage-Free Abstract Interpretation Through Abstract Reference Counting.

Noah Van Es Quentin Stiévenart Coen De Roover

Published in: ECOOP (2019)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active databases
reasoning engine
active rules
dynamic analysis
database
knowledge base
high level
integrity constraints
object oriented databases