Synthesis: Dreams → Programs
- 1 July 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-5 (4) , 294-328
- https://doi.org/10.1109/tse.1979.234198
Abstract
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed. The basic approach is to transform the specifications repeatedly according to certain rules, until a satisfactory program is produced. The rules are guided by a number of strategic controls. These techniques have been incorporated in a running program-synthesis system, called DEDALUS.Keywords
This publication has 29 references indexed in Scilit:
- A Methodology for LISP Program Construction from ExamplesJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Knowledge and reasoning in program synthesisArtificial Intelligence, 1975
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- On the Composition of Well-Structured ProgramsACM Computing Surveys, 1974
- An improved program-synthesizing algorithm and its correctnessCommunications of the ACM, 1974
- Towards automatic program synthesisPublished by Springer Nature ,1971
- Experiments with a Heuristic CompilerJournal of the ACM, 1963