Proving Non-Termination via Loop Acceleration.

Florian Frohn Jürgen Giesl

Published in: FMCAD (2019)

Keyphrases

term rewrite systems
data sets
feedback loop
rewrite rules
social networks
image processing
active rules
term rewriting
pairwise
data model
type checking
rewrite systems