Thomas N. Hibbard

Learn More
A preliminary example of program development demonstrates that the control-independent implementation of data types can lead to very inefficient code. The concept of a data space, which emphasizes the interaction between data and control structures, is introduced as a formal model of virtual machines. The model consists of three components: a state space X,(More)
The theoretical construct data space is intended for modeling computing processes in general 1, 2, 3] and proved of considerable utility in modelling algorithms designed for VLSI 4, 5]. It is here applied, along with a sharpened deenition of subspace, to the formalization of two notions of concurrent processing: the functional equivalence of message passing(More)