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