A generalized mathematical theory of structured programming (Q2265794)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A generalized mathematical theory of structured programming |
scientific article |
Statements
A generalized mathematical theory of structured programming (English)
0 references
1985
0 references
Graph theory is used to model program control structures rigorously as flowgraphs. Formal methods are defined which allow the classification and reconstruction of flowgraphs in terms of an arbitrary set of primitives. The criterion of classification sheds new light on a classical graph- theoretic characterization of D-structuredness, and provides an extension of this characterization in the case when the notion of structuredness is generalized.
0 references
structured programming
0 references
top-down programming
0 references
program control structures
0 references
flowgraphs
0 references
