Proving thread termination.

Byron Cook Andreas Podelski Andrey Rybalchenko

Published in: PLDI (2007)

Keyphrases

term rewrite systems
viewpoint
rewrite rules
term rewriting
real world
knowledge base
object recognition
finer granularity
database
neural network
feature selection
case study
bayesian networks