Structured programming and automatic program synthesis
- 28 March 1974
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 9 (4) , 60-70
- https://doi.org/10.1145/942572.807046
Abstract
When a computer is used to synthesize a program, there is usually too much information for it to handle. In this paper, we propose the use of stepwise refinement technique, based upon the concept of structured programming, to overcome this difficulty.This publication has 6 references indexed in Scilit:
- An improved program-synthesizing algorithm and its correctnessCommunications of the ACM, 1974
- Program development by stepwise refinementCommunications of the ACM, 1971
- Toward automatic program synthesisCommunications of the ACM, 1971
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962