Login / Signup

Type-Directed Program Synthesis and Constraint Generation for Library Portability.

Bruce ColliePhilip GinsbachMichael F. P. O'Boyle
Published in: PACT (2019)
Keyphrases
  • program synthesis
  • recursive programs
  • inductive logic programming
  • machine learning
  • artificial intelligence
  • search engine
  • general purpose
  • linear constraints