Type-Directed Program Synthesis for RESTful APIs.

Zheng Guo David Cao Davin Tjong Jean Yang Cole Schlesinger Nadia Polikarpova

Published in: CoRR (2022)

Keyphrases

program synthesis
web services
inductive logic programming
lightweight
databases
cellular automata