A Simulator of the OR-Parallel Token Machine

Hausman, Bogumil (1986) A Simulator of the OR-Parallel Token Machine. [SICS Report]



This report is mainly meant as the documentation of the simulator of the OR-Parallel Token Machine for Horn Clause programs. The simulator has been used to investigate the dynamic characteristics of pure Horn Clause programs and to evaluate several storage structures. We start by briefly describing the virtual machine. Then we discuss the merits of a specification language Meta IV and a programming language, Simula, and also show transformations between those two. Finally, we describe the constituent parts of the simulation system, namely the underlying message passing mechanism and the three components of the machine: instruction processor, token pool and storage. The mapping of the specification into Simula shows the power of using object oriented languages for implementing abstract specifications and for simulation purposes.

Item Type:SICS Report
Additional Information:Original report number R86002.
ID Code:2006
Deposited By:Vicki Carleson
Deposited On:15 Sep 2009
Last Modified:18 Nov 2009 15:59

Repository Staff Only: item control page