6 N ov 2 00 7 On the Operating Unit Size of Load / Store Architectures ⋆

We introduce a strict version of the concept of a load/store instruction set architecture in the setting of Maurer machines. We take the view that transformations on the states of a Maurer machine are achieved by applying threads as considered in thread algebra to the Maurer machine. We study how the transformations on the states of the main memory of a… CONTINUE READING