Type-directed program synthesis for RESTful APIs-Reference-Cited by-同舟云学术

Type-directed program synthesis for RESTful APIs

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

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

Affiliation:

1. University of California at San Diego, USA

2. Akita Software, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519939.3523450

Reference36 articles.

1. Mining specifications

2. Jong-hoon (David) An, Avik Chaudhuri , Jeffrey S. Foster , and Michael Hicks . 2011 . Dynamic inference of static types for ruby. In POPL. Austin, TX , USA , January 26-28, 2011, Thomas Ball and Mooly Sagiv (Eds.). ACM, 459–472. Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks. 2011. Dynamic inference of static types for ruby. In POPL. Austin, TX, USA, January 26-28, 2011, Thomas Ball and Mooly Sagiv (Eds.). ACM, 459–472.

3. Lennart Augusstson. 2005. Djinn. https://github.com/augustss/djinn Lennart Augusstson. 2005. Djinn. https://github.com/augustss/djinn

4. Exempla gratis (E.G.): code examples for free

5. Raymond P. L. Buse and Westley Weimer. 2012. Synthesizing API Usage Examples . In Proceedings of the 34th International Conference on Software Engineering (ICSE ’12) . IEEE Press, 782–792. isbn:9781467310673 Raymond P. L. Buse and Westley Weimer. 2012. Synthesizing API Usage Examples. In Proceedings of the 34th International Conference on Software Engineering (ICSE ’12). IEEE Press, 782–792. isbn:9781467310673

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. API-Driven Program Synthesis for Testing Static Typing Implementations;Proceedings of the ACM on Programming Languages;2024-01-05

2. Simplifying Cloud Management with Cloudless Computing;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28

3. Exploiting Service-Discovery and OpenAPI in Multi-Agent MicroServices (MAMS) Applications;Engineering Multi-Agent Systems;2023

4. CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29