A system which automatically improves programs-Reference-Cited by-同舟云学术

A system which automatically improves programs

Published:1976-03 Issue:1 Volume:6 Page:41-60
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Darlington J.,Burstall R. M.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00263742.pdf

Reference17 articles.

1. Burstall, R. M., Collins, J. S., Popplestone, R. J.: Programming in POP-2. Edinburgh: Edinburgh University Press 1971

2. Minsky, M.: Form and content in computer science. 1970 A.C.M. Turing Lecture. J. ACM 17, 197–215 (1970)

3. TH Report 70-WSK-03;E. W. Dijkstra,1970

4. Ambler, A. P., Burstall, R. M.: LIB POLYSETS. POP-2 Program Library Specification. Department of Machine Intelligence and Perception, University of Edinburgh, 1971

5. Strong, H.R., Jr.: Translating recursion equations into flow charts. Proc. 2nd Annual A.C.M. Symposium on Theory of Computing, New York 1970, p. 184–197

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

1. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. Large Language Models for Software Engineering: Survey and Open Problems;2023 IEEE/ACM International Conference on Software Engineering: Future of Software Engineering (ICSE-FoSE);2023-05-14

3. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema;2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI);2020-05

4. From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis;2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM);2018-09

5. Genetic Improvement of Software: A Comprehensive Survey;IEEE Transactions on Evolutionary Computation;2018-06