CeTA - A Tool for Certified Termination Analysis

Christian Sternagel René Thiemann Sarah Winkler Harald Zankl

Published in: CoRR (2012)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
relational databases
deductive databases
data mining
information systems
software engineering
multi dimensional