Abstract
The paper describes the basic ideas in extending a machine-oriented microprogramming language into a system implementation language through data and control abstraction. The approach allows an extremely primitive base language to be bootstrapped to a higher level by a type definition mechanism where the operations of the types may be microprogrammed. Vertical migration is then possible by local modifications in operation definitions. On the other hand, a suitable type definition library would make it unnecessary for an ordinary user to know that all operations are ultimately based on microprogrammed definitions. This work is part of project Ukko which has designed a special microprogrammable computer for experimentation with user microprogramming.
- 1 Heinänen, J., Logical architecture of Ukko - a design for experimental microprogramming. University of Tampere, Dept. of Mathematical Sciences, Report C5, July 1978, revised April 1979.Google Scholar
- 2 Heinänen, J., Karjalainen, M. and Kurki-Suonio, R., Machine and language design for dynamic microprogramming. University of Tampere, Dept. of Mathematical Sciences, Report A41, April 1980.Google Scholar
- 3 Herriott, Robert G., A uniform view of control structure in programming languages. In Information processing 74, North-Holland, Amsterdam, 1974, 331-335.Google Scholar
- 4 Landin, P.J., The mechanical evaluation of expressions. Comput.J. 6, 4 (Jan. 1964), 308-320.Google Scholar
Cross Ref
- 5 Landin, P.J., A correspondence between ALGOL 60 and Church's Lambda-notation: Part I. Comm. ACM 8, 2 (Feb. 1965), 89-101. Google Scholar
Digital Library
- 6 Lawson, H.W., Jr. and Blomberg, L., The Datasaab FCPU microprogramming language, ACM SIGPLAN Notices 9, 8 (Aug. 1974), 86-97. Google Scholar
Digital Library
- 7 Oestreicher, D.R., A microprogramming language for the MLP-900. ACM SIGPLAN Notices 9, 8 (Aug. 1974), 113-120. Google Scholar
Digital Library
- 8 Shaw, Mary, and Wulf, William A., Abstraction and verification in Alphard: defining and specifying iteration and generators. Comm. ACM 20, 8 (Aug. 1977), 553-564. Google Scholar
Digital Library
- 9 Stockenberg, John, and van Dam, Andries, Vertical migration for performance enhancement in layered hardware/firmware/software systems. Computer 11, 5 (May 1978), 35-50.Google Scholar
Digital Library
- 10 Wirth, Niklaus, PL/360, a programming language for the 360 computer. J.ACM 15, 1 (Jan. 1968), 37-74. Google Scholar
Digital Library
- 11 Wulf, William A. (ed.), An informal definition of Alphard. Dept. of Computer Science, Carnegie Mellon University, CMU-CS-78-105.Google Scholar
- 12 Wulf, William A., Trends in the design and implementation of programming languages. Computer 13, 1 (Jan. 1980), 14-25.Google Scholar
Digital Library
Index Terms
A data abstraction language based on microprogramming
Recommendations
A data abstraction language based on microprogramming
MICRO 13: Proceedings of the 13th annual workshop on MicroprogrammingThe paper describes the basic ideas in extending a machine-oriented microprogramming language into a system implementation language through data and control abstraction. The approach allows an extremely primitive base language to be bootstrapped to a ...
Microprogramming: A Tutorial and Survey of Recent Developments
The present status of microprogramming is developed from Wilkes's initial concept of microprogramming to the more recent bit-slice microprogrammable computer components. This tutorial defines basic concepts and gives a simple example of machine language ...
Microprogramming: Perspective and Status
The concept of microprogramming has been changing with the development of hardware technology to facilitate dynamic microprogramming and the development of software technology to facilitate user microprogramming. An examination of the status of ...






Comments