This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Program graphs, an algebra, and their implication for programming
Sept. 1975 (vol. 1 no. 3)
pp. 286-291
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.
Index Terms:
Programming,Computers,Complexity theory,Indexes,Software engineering,Systematics,Flowcharts,structured programming,Partitioning,program graphs,program structure
Citation:
Michael R. Paige, "Program graphs, an algebra, and their implication for programming," IEEE Transactions on Software Engineering, vol. 1, no. 3, pp. 286-291, Sept. 1975, doi:10.1109/TSE.1975.6312853
Usage of this product signifies your acceptance of the Terms of Use.