A generalized mathematical theory of structured programming (Q2265794)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3892550
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A generalized mathematical theory of structured programming |
scientific article; zbMATH DE number 3892550 |
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
0.7942186594009399
0 references
