Login / Signup

A Methodology for Synthesis of Recursive Functional Programs.

Debasish Banerjee
Published in: ACM Trans. Program. Lang. Syst. (1987)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • stochastic grammar
  • knn
  • programming language