Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
The new math of computer programming
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
Böhm and Jacopini's reduction of flow charts
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Structured programming
Hi-index | 0.00 |
A mathematical formalism is described through which a program is given a symbolic representation and, with the applihation of several basic formulas, may be transformed into an equivalent representation giving rise to a reorganized program. Examples are given in which programs are simplified (e.g., code is reduced) or reorganized into a structured form. In effect a mathematics is described that applies to programs in much the same manner as Boolean algebra applies to switching circuits.