Proving Conditional Termination.

Byron Cook Sumit Gulwani Tal Lev-Ami Andrey Rybalchenko Mooly Sagiv

Published in: CAV (2008)

Keyphrases

term rewrite systems
random field model
active rules
quantile regression
database
feature selection
random variables
conditional probabilities
rewrite rules
type checking
termination analysis