Compression of Rewriting Systems for Termination Analysis.

Alexander Bau Markus Lohrey Eric Nöth Johannes Waldmann

Published in: RTA (2013)

Keyphrases

termination analysis
rewriting systems
active rules
active databases
abstract interpretation
rewriting rules
integrity constraints
deductive databases
database technology
database
database systems
data management
business processes