Login / Signup

Productivity Verification for Functional Programs by Reduction to Termination Verification.

Ren FukaishiNaoki KobayashiRyosuke Sato
Published in: PEPM (2024)
Keyphrases
  • functional programs
  • model checking
  • term rewriting systems
  • database
  • data mining
  • data model