An experiment in knowledge-based automatic programming
- 1 August 1979
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 12 (2), 73-119
- https://doi.org/10.1016/0004-3702(79)90013-4
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- On program synthesis knowledgeArtificial Intelligence, 1978
- The ubiquity of discoveryArtificial Intelligence, 1977
- The Evolution of Programs: Automatic Program ModificationIEEE Transactions on Software Engineering, 1977
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Artificial Intelligence, Language, and the Study of Knowledge*,†Cognitive Science, 1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- A system which automatically improves programsActa Informatica, 1976
- Experiments with a Heuristic CompilerJournal of the ACM, 1963