Flowcharting by stepwise refinement
- 1 January 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 13 (1) , 34-42
- https://doi.org/10.1145/953428.953432
Abstract
This paper describes a flowchart technique, which supports the method of program development by stepwise refinement.Flowcharts made by this technique have a tree structure, which simplifies program test and coding the chart into a programming language. For design of the overall control structure the basic forms concatenation, selection, repetition and restricted GOTO statements are available.Keywords
This publication has 10 references indexed in Scilit:
- Proof techniques for hierarchically structured programsCommunications of the ACM, 1977
- Flowcharting loops without cyclesACM SIGPLAN Notices, 1975
- Analysis of structured programsJournal of Computer and System Sciences, 1974
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- New format for flowchartsSoftware: Practice and Experience, 1974
- Flowchart techniques for structured programmingACM SIGPLAN Notices, 1973
- The Expression of Algorithms by ChartsJournal of the ACM, 1972
- BLISSCommunications of the ACM, 1971
- Program development by stepwise refinementCommunications of the ACM, 1971
- Flowcharting With the ANSI Standard: A TutorialACM Computing Surveys, 1970