Towards a microprogramming language schema

19 November 1978

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGMICRO Newsletter

Vol. 9 (4) , 144-153
https://doi.org/10.1145/1014198.804324

Abstract

A microprogramming language schema S denotes a language whose semantics is partially defined. A particular language S(M ₁ ), corresponding to some specific microprogrammable host machine M ₁ , is obtained when S's semantics is completed using the properties of M ₁ . In this paper, the design of a PASCAL-influenced language schema S* is developed. The principal characteristics of S* are facilities for constructing well-structured, verifiable microprograms that can either be optimized at the source program level or can be subject to mechanical (compiler) optimization.

Keywords

This publication has 8 references indexed in Scilit:

The design of some language constructs for horizontal microprogramming
Published by Association for Computing Machinery (ACM) ,1977
The Identification of Maximal Parallelism in Straight-Line Microprograms
IEEE Transactions on Computers, 1976
APPLICATIONS OF MICROPROGRAMMING
Published by Elsevier ,1976
An axiomatic proof technique for parallel programs I
Acta Informatica, 1976
PASCAL User Manual and Report
Published by Springer Nature ,1975
Structured Programming with go to Statements
ACM Computing Surveys, 1974
A High-Level Language for Horizontal Microprogramming
IEEE Transactions on Computers, 1974
An axiomatic basis for computer programming
Communications of the ACM, 1969