Change search
ReferencesLink to record
Permanent link

Direct link
A Simulator of the OR-Parallel Token Machine
Number of Authors: 1
1986 (English)Report (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1986, 1. , 27 p.
Series
SICS Research Report, ISSN 0283-3638 ; R86:02
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21323OAI: oai:DiVA.org:ri-21323DiVA: diva2:1041357
Note
Original report number R86002.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(2040 kB)3 downloads
File information
File name FULLTEXT01.pdfFile size 2040 kBChecksum SHA-512
3520878862d65e735bd3f5bc474ac329ccc1b5576a16b48e442efd281fa45d9982ceb06a8455720e7c4425c1bcc94bbbbb80f1c2891c5d0f8425ddffa539575d
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link