Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description).

Florian Frohn Jürgen Giesl

Published in: CoRR (2022)

Keyphrases

upper bound
term rewrite systems
lower bound
error bounds
lower and upper bounds
high level
slightly higher
artificial intelligence
database systems
upper and lower bounds