External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Productivity Verification for Functional Programs by Reduction to Termination Verification

Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato. Productivity Verification for Functional Programs by Reduction to Termination Verification. In Gabriele Keller, Meng Wang 0002, editors, Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. pages 70-82, ACM, 2024. [doi]

Authors

Ren Fukaishi

This author has not been identified. Look up 'Ren Fukaishi' in Google

Naoki Kobayashi

This author has not been identified. Look up 'Naoki Kobayashi' in Google

Ryosuke Sato

This author has not been identified. Look up 'Ryosuke Sato' in Google
runs on