Productivity Verification for Functional Programs by Reduction to Termination Verification.

Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato

Browse the full PEPM paper archive.