Implementation of set theoretic languages on computers with tagged architecture

This thesis deals with the relation between computer languages and computer architecture. In particular, it deals with SETL, a very high level set oriented language, and its implementation on a machine suitable for executing it. Architectural features which aid in implementing SETL are discussed. A machine which directly executes a pre-processed version of SETL source code is described and microprograms for the execution of a few typical SETL operators are presented. This machine is a stack machine with tags which enable the hardware to distinguish between the data types of SETL. The preprocessing required for this machine consists of rearranging the tokens of the source program into Polish form. Three different representations of sets on this machine are compared. Simplified versions of the SETL machine which are comparable to some microprogrammed systems in existence today are also described. The problem of implementing SETL on the R-2 is discussed and a method for effectively utilizing the hierarchical memory segmentation provided by the R-2 addressing system is presented.

Name thesis:degree_name

Master of Science

Level thesis:degree_level

Masters

Discipline thesis:degree_discipline

Engineering

Grantor

Rice University

Year dc:date.issued

1975

Author dc:creator

• Hajare, Ankur Ramesh

Advisor dc:contributor.advisor

• Kennedy, Kenneth W.

Statement dc:rights

• Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.

Language dc:language.iso

eng

Handle dc:identifier.uri

https://hdl.handle.net/1911/104530

OAI identifier oai:identifier

oai:repository.rice.edu:1911/104530