Programming with a read-eval-synth loop-Reference-Cited by-同舟云学术

Programming with a read-eval-synth loop

Author:

Peleg Hila¹,Gabay Roi²,Itzhaky Shachar²,Yahav Eran³

Affiliation:

1. University of California at San Diego, USA

2. Technion, Israel

3. Codota, Israel / Technion, Israel

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

Reference62 articles.

1. [n.d.]. eclipsesource/J2V8: Java Bindings for V8. https://github.com/eclipsesource/J2V8. Accessed: 2020-4-22.

2. [n.d.]. JavaScript | MDN. https://developer.mozilla.org/en-US/docs/Web/JavaScript. Accessed: 2020-4-22.

3. [n.d.]. Lodash. https://lodash.com/. Accessed: 2020-4-22.

5. Syntax-guided synthesis;Alur Rajeev;Dependable Software Systems Engineering,2015

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

2. COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code;2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2023-10-03

3. Programming-by-Example with Nested Examples;2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2023-10-03

5. Program Synthesis Using Example Propagation;Practical Aspects of Declarative Languages;2023