Proving Mutual Termination of Programs.

Dima Elenbogen Shmuel Katz Ofer Strichman

Published in: Haifa Verification Conference (2012)

Keyphrases

term rewrite systems
computer programs
fixpoint
machine learning
automatic programming
data sets
image processing
three dimensional
video sequences
artificial neural networks
knowledge representation
answer sets
control structures