Computer Science Technical Reports
CS at VT

A Complete Horizontal Microlanguage

Wesselkamper, T.C. and Nixon, Eric (1973) A Complete Horizontal Microlanguage. Technical Report CS73002-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS73002-R.pdf (890987)


This paper defines a data space whose points are trees with leaves which are [name,value] pairs. Over this space a substitution operator S (meaning informally "in x for y put z") is formally defined. Taken together with several auxiliary operators, S is shown to be sufficient to define a large class of high-level languages since S is known to be functionally complete for finite-valued spaces, a functionally complete language is exhibited.

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:741
Deposited By:Administrator, Eprints
Deposited On:14 April 2006