Proving program termination.

Byron Cook Andreas Podelski Andrey Rybalchenko

Published in: Commun. ACM (2011)

Keyphrases

term rewrite systems
programming environment
real time
image segmentation
database systems
bayesian networks
test cases
data sets
multiscale
expert systems
computer programs
control program
program understanding
rewrite systems