Login / Signup
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