Sign in

Program synthesis with algebraic library specifications.

Benjamin MarianoJosh ReeseSiyuan XuThanhVu NguyenXiaokang QiuJeffrey S. FosterArmando Solar-Lezama
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • program synthesis
  • recursive programs
  • delay insensitive
  • inductive logic programming
  • formal specification
  • high level
  • digital libraries
  • active learning
  • low level
  • logic programs
  • java code