Issue No. 03 - Sept. (1975 vol. 1)
Michael R. Paige , Sperry Rand Corporate Research Center, Sudbury, Mass; Science Applications, San Francisco, Calif. 94621
Current interests in software engineering have posed serious questions about the evolution of programs and languages. Computer programs are not simply collections of statements; they involve specific structural relationships between the programelements. Program structure has been discussed as being an important influence on the ease with which programs can be constructed, verified, understood, and changed. The discipline of "structured programming" has been developed because computer scientists have sought to better control and understand the programming process. Program graphs have been used as a vehicle to focus attention on the structure of a program. In this paper a systematic methodology for partitioning a program graph (digraph) to highlight the relationships between program elements is. introduced along with an attendant notation. This notation is described in purely mathematical terms in the first section, and then the programming-related implications of this approach are addressed in the second section.
Programming, Computers, Complexity theory, Indexes, Software engineering, Systematics, Flowcharts, structured programming, Partitioning, program graphs, program structure
M. R. Paige, "Program graphs, an algebra, and their implication for programming," in IEEE Transactions on Software Engineering, vol. 1, no. , pp. 286-291, 1975.