Login / Signup
Automatically disproving fair termination of higher-order functional programs.
Keiichi Watanabe
Ryosuke Sato
Takeshi Tsukada
Naoki Kobayashi
Published in:
ICFP (2016)
Keyphrases
</>
higher order
functional programs
term rewriting systems
lazy evaluation
machine learning
databases
pairwise
general purpose
functional language
stochastic grammar
artificial intelligence
object oriented
logic programs
key concepts