Login / Signup

Automated transpilation of imperative to functional code using neural-guided program synthesis.

Benjamin MarianoYanju ChenYu FengGreg DurrettIsil Dillig
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • program synthesis
  • neural network
  • inductive logic programming
  • functional connectivity
  • network architecture
  • associative memory
  • search engine
  • high dimensional
  • relational databases
  • object oriented
  • general purpose