skip to main content
article
Free Access

A data abstraction language based on microprogramming

Published:30 November 1980Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle Scholar
  2. 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 ScholarGoogle Scholar
  3. 3 Herriott, Robert G., A uniform view of control structure in programming languages. In Information processing 74, North-Holland, Amsterdam, 1974, 331-335.Google ScholarGoogle Scholar
  4. 4 Landin, P.J., The mechanical evaluation of expressions. Comput.J. 6, 4 (Jan. 1964), 308-320.Google ScholarGoogle ScholarCross RefCross Ref
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Lawson, H.W., Jr. and Blomberg, L., The Datasaab FCPU microprogramming language, ACM SIGPLAN Notices 9, 8 (Aug. 1974), 86-97. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Oestreicher, D.R., A microprogramming language for the MLP-900. ACM SIGPLAN Notices 9, 8 (Aug. 1974), 113-120. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Wirth, Niklaus, PL/360, a programming language for the 360 computer. J.ACM 15, 1 (Jan. 1968), 37-74. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 Wulf, William A. (ed.), An informal definition of Alphard. Dept. of Computer Science, Carnegie Mellon University, CMU-CS-78-105.Google ScholarGoogle Scholar
  12. 12 Wulf, William A., Trends in the design and implementation of programming languages. Computer 13, 1 (Jan. 1980), 14-25.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A data abstraction language based on microprogramming

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!