Login / Signup
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution.
Anders Miltner
Adrian Trejo Nuñez
Ana Brendel
Swarat Chaudhuri
Isil Dillig
Published in:
CoRR (2021)
Keyphrases
</>
functional programs
term rewriting systems
logic programs
lazy evaluation
functional language
stochastic grammar
artificial intelligence
execution model
search space
logic programming
control flow