Proving Termination of C Programs with Lists.

Jera Hensel Jürgen Giesl

Published in: CoRR (2023)

Keyphrases

term rewrite systems
real world
fixpoint
term rewriting
data sets
databases
image processing
active rules
intermediate level
control structures
control program