Automatic Termination Verification for Higher-Order Functional Programs.

Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi

Browse the full ESOP paper archive.