Sign in

Program synthesis by type-guided abstraction refinement.

Zheng GuoMichael JamesDavid JustoJiaxiao ZhouZiteng WangRanjit JhalaNadia Polikarpova
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • program synthesis
  • inductive logic programming
  • knowledge base
  • recursive programs
  • high level
  • high dimensional
  • np hard
  • np complete
  • regression model