Automatically Proving Program Termination.

Published in: CAV (2007)

Keyphrases

automatically generated
computer programs
term rewrite systems
neural network
programming language
program execution
database
data sets
data mining
bayesian networks
logic programs