Issue No. 03 - May (1978 vol. 4)
U.R. Kodres , Department of Computer Science, Naval Postgraduate School
The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution sequence of a computer program has a corresponding data flowgraph which describes functionally what happens to the data if that execution sequence is followed.
program analysis, Bipartite graph, control complexity, data flowgraph, discrete systems, execution sequence, independence, parallel processes
U.R. Kodres, "Analysis of Real-Time Systems by Data Flowgraphs", IEEE Transactions on Software Engineering, vol. 4, no. , pp. 169-178, May 1978, doi:10.1109/TSE.1978.231495