Login / Signup
Abstract interpretation can improve the efficiency of the bachtracking rule.
Marc-Michel Corsini
Published in:
JFPL (1992)
Keyphrases
</>
abstract interpretation
termination analysis
active rules
database systems
evaluation model
active databases