On Partitioning Program Graphs
Michael R. Paige · IEEE Transactions on Software Engineering · 1977
In recent years, applications of graph theory to computer software have given fruitful results and attracted more and more attention. A program graph is a graph structural model of a program exhibiting the flow relation or connection among the elements (statements) in the program.