Issue No. 06 - June (1991 vol. 40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.90247
<p>A reduced set of procedural dependencies is presented which is necessary and sufficient to describe all procedural dependencies in standard imperative codes. Hence, the set is minimal. In conjunction with reduced data dependencies, this set forms a set of minimal semantic dependencies for all traditional code. It is also shown that all forward branches in structured code are procedurally independent. The effects of limited hardware are also addressed. A possible implementation of a machine enforcing just the minimal procedural dependencies is described.</p>
reduced procedural dependencies; minimal procedural dependencies; reduced set; codes; reduced data dependencies; minimal semantic dependencies; concurrency control; instruction sets; reduced instruction set computing.
A. Uht, "A Theory of Reduced and Minimal Procedural Dependencies," in IEEE Transactions on Computers, vol. 40, no. , pp. 681-692, 1991.