On the Termination of Integer Loops.

Amir M. Ben-Amram Samir Genaim Abu Naser Masud

Published in: ACM Trans. Program. Lang. Syst. (2012)

Keyphrases

active rules
neural network
data sets
computer vision
search algorithm
evolutionary algorithm
term rewriting
rewrite systems
termination analysis
weighted distance transforms