Now showing items 1-1 of 1
A Markov Model of Certain Structured Programs
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76004-R
The paper is concerned with modeling the run time behavior of a certain class of programs. Each program, represented by its flowgraph, is built up from one-in/one-out constructs (after the manner of Dijkstra). The programs ...