Termination and non-termination specification inference.

Ton Chanh Le Shengchao Qin Wei-Ngan Chin

Published in: PLDI (2015)

Keyphrases

active rules
rewrite systems
term rewriting
user defined
bayesian networks
database
real world
learning algorithm
website
case study
random fields
active databases
control flow
operational semantics
termination analysis