C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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