Login / Signup

Bottom-up synthesis of recursive functional programs using angelic execution.

Anders MiltnerAdrian Trejo NuñezAna BrendelSwarat ChaudhuriIsil Dillig
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • stochastic grammar
  • execution model
  • programming language
  • machine learning
  • control flow
  • datalog programs