Sign in

Trace-Guided Inductive Synthesis of Recursive Functional Programs.

Yongwei YuanArjun RadhakrishnaRoopsha Samanta
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • multi agent systems
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • stochastic grammar
  • functional programming
  • database
  • databases
  • machine learning
  • recursive programs