Computer Science Technical Reports
CS at VT

THE LOGICAL FOUNDATIONS OF MICROLANGUAGES

Wesselkamper, Thomas C. (1974) THE LOGICAL FOUNDATIONS OF MICROLANGUAGES. Technical Report CS74020-R, Computer Science, Virginia Tech.

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

Abstract

After the consideration of two recent examples of instruction sets for microprogrammable computers, the article sketches known and new results about complete sets of functions which appear to be applicable to microlanguage development. Some needed areas of research are pointed out. Functional completeness is linked to research in control primitives for machines.

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