THE LOGICAL FOUNDATIONS OF MICROLANGUAGES
1974) THE LOGICAL FOUNDATIONS OF MICROLANGUAGES. Technical Report CS74020-R, Computer Science, Virginia Tech. (
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)|
|Deposited By:||Administrator, Eprints|
|Deposited On:||18 April 2006|