Precise Widening Operators for Proving Termination by Abstract Interpretation.

Nathanaël Courant Caterina Urban

Published in: TACAS (1) (2017)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
static analysis
term rewrite systems
model checking
integrity constraints
object oriented databases
reasoning engine
deductive databases
temporal databases