Author:
Klassen Alynn,Dasgupta Subrata
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Reference13 articles.
1. Some Implications of Programming Methodology for Microprogramming Language Design;Dasgupta S.;Microprogramming, Firmware and Restructurable Hardware, Ed. X.G. Chroust and J. Mulbacher, North-Holland Amsterdam,1980
2. Some Aspects of High-Level Microprogramming
3. An insight into PDP-11 emulation
4. Microprogramming: an Introduction and Viewpoint;Flynn M. J.;IEEE Transactions on Computers,1971
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The use of hoare logic in the verification of horizontal microprograms;International Journal of Computer & Information Sciences;1984-12
2. Literatur;Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung;1984