Type-directed program synthesis for RESTful APIs.

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

Published in: PLDI (2022)

Keyphrases

program synthesis
lightweight
web services
open source
semantic annotation
recursive programs