Login / Signup

Efficient Bottom-Up Synthesis for Programs with Local Variables.

Xiang LiXiangyu ZhouRui DongYihong ZhangXinyu Wang
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • computationally expensive
  • databases
  • learning algorithm
  • database
  • real time
  • data mining
  • knowledge base
  • search algorithm
  • artificial neural networks
  • computationally efficient
  • functional programs