Achievements and Prospects of Program Synthesis-Reference-Cited by-同舟云学术

Achievements and Prospects of Program Synthesis

Author:

Flener Pierre

Publisher

Springer Berlin Heidelberg

Link

Reference91 articles.

2. R. Balzer. A 15 year perspective on automatic programming. IEEE TSE 11(11):1257–1268, 1985.

3. A. Barr and E.A. Feigenbaum. The Handbook of Artificial Intelligence, Chapter X: Automatic Programming, pp. 297–379. Morgan Kaufmann, 1982.

4. D.R. Barstow. A perspective on automatic programming. AI Magazine, Spring 1984:5–27. Also in [74], pp. 537–559.

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

1. Inductive Programming;Encyclopedia of Machine Learning and Data Science;2023-12-19

2. Software Tools for Automated Program Design, Synthesis, and Auto-Tuning;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2021

4. Formal methods of parallel software design automation;Reports of the National Academy of Sciences of Ukraine;2020-06

5. Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools;Information and Communication Technologies in Education, Research, and Industrial Applications;2020