Issue No.04 - July (1982 vol.8)
T.C. Wesselkamper , Department of Computer Science, Hunter College, City University of New York
This paper develops definitions for a program schema, the execution of such a program schema, and a process generated by a program schema. Results due to Hartfiel are used to characterize the cone of stochastic eigenvectors of the class of homogeneous Markov processes generated by a program schema. The stochastic behavior vector of a process generated by the same schema is shown to lie in this cone. In the case of a cyclic structured program schema, all of the vertices of the base of the cone are exactly generated by the circuits of the schema. Some directions for future work are suggested.
strongly connected graph, Cyclic structured program, homogeneous Markov process, process, program execution, program schema, state frequency vector, state transition matrix, stochastic eigenvector
T.C. Wesselkamper, "Computer Program Schemata and the Processes They Generate", IEEE Transactions on Software Engineering, vol.8, no. 4, pp. 412-419, July 1982, doi:10.1109/TSE.1982.235575