Title :
A theory of reduced and minimal procedural dependencies
Author :
Uht, Augustus K.
Author_Institution :
Carnegie-Mellon Univ., Pittsburgh, PA, USA
fDate :
6/1/1991 12:00:00 AM
Abstract :
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
Keywords :
concurrency control; instruction sets; reduced instruction set computing; codes; minimal procedural dependencies; minimal semantic dependencies; reduced data dependencies; reduced procedural dependencies; reduced set; Code standards; Computer aided instruction; Computer science; Concurrent computing; Hardware; Out of order; Parallel processing; Performance gain; Supercomputers;
Journal_Title :
Computers, IEEE Transactions on
