Login / Signup
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Nachum Dershowitz
Naomi Lindenstrauss
Yehoshua Sagiv
Alexander Serebrenik
Published in:
CoRR (2000)
Keyphrases
</>
termination analysis
abstract interpretation
active rules
active databases
static analysis
database