Automatically disproving fair termination of higher-order functional programs.

Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi

Browse the full ICFP paper archive.