Contemporary Concepts of Microprogramming and Emulation
ACM Computing Surveys (CSUR)
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
An environment for research in microprogramming and emulation
Communications of the ACM
A survey of high level microprogramming languages
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Towards a microprogramming language schema
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
An insight into PDP-11 emulation
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
Towards a family of languages for the design and implementation of machine architectures
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Axiomatic proof rules for a machine-specific microprogramming language
ACM SIGMICRO Newsletter
| Hi-index | 0.00 |
In previous papers [1,2,3] a high level microprogramming language schema called S* was described. S* is a partially specified language such that for a given host machine M1, a particular language S*(M1) results when M1's properties are used to complete the specifications of S*. We say that S* is instantiated into S*(M1) with respect to M1. This paper describes the instantiation of S* with respect to the Nanodata QM-1. The resulting language S*(QM-1) allows high level “nanoprograms” to be written for the QM-1. The major objective of this research was to examine the language schema S*, from which S*(QM-1) was instantiated, in light of its overall philosophy and usefulness as a tool in the development of a specific microprogramming language for a highly complex microprogrammable machine.