skip to main content
article
Free Access

Towards a microprogramming language schema

Published:19 November 1978Publication History
Skip Abstract Section

Abstract

A microprogramming language schema S denotes a language whose semantics is partially defined. A particular language S(M1), corresponding to some specific microprogrammable host machine M1, is obtained when S's semantics is completed using the properties of M1. 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.

References

  1. 1 AGRAWALA, A.K. & RAUSCHER, J.G., Foundations of Microprogramming, Academic Press, N.Y., 1976.Google ScholarGoogle Scholar
  2. 2 BRINCH HANSEN, P., "The Programming Language Concurrent PASCAL", IEEE Trans. Software Engineering., 2, 2, June 1975.Google ScholarGoogle Scholar
  3. 3 BRINCH HANSEN, P., Operating System Principles, Prentice-Hall, Englewood-Cliffs, N.J., 1972. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 DASGUPTA, S., Parallelism in Microprogramming Systems, Tech, Rept. TR76-7, Dept. of Computing Science, Univ. of Alberta, Edmonton, Alberta, Canada, Aug. 1976.Google ScholarGoogle Scholar
  5. 5 DASGUPTA, S., & TARTAR, J., The Identification of Maximal Parallelism in Straight Line Microprograms, IEEE Trans. Comput., C-25, 10, Oct. 1976, 986-992.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 DASGUPTA, S., The Design of Some Language Constructs for Horizontal Microprogramming, Proc. 4th Annual Symposium on Computer Architecture, Silver Springs, MD., March, 1977. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 DEWITT, D.J., A Machine Independent Approach to the Production of Optimized Horizontal Microcode, Tech. Rept. 76 DT4, Aug. 1976, Grad. School of Bus. Admin., University of Michigan, Ann Arbor.Google ScholarGoogle Scholar
  8. 8 DIJKSTRA, E.W., A Discipline of Programming, Prentice-Hall, Englewood-Cliffs, N.J., 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 ECKHOUSE, R.H. Jr., A High-Level Micro-programming Language (MPL), Proc. Spring Jt. Comp. Conf., 1971, 169-177.Google ScholarGoogle Scholar
  10. 10 HOARE, C.A.R., An Axiomatic Basis of Computer Programming, Comm. ACM, 12, 10, (Oct. 1969), 576-583. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 JENSEN, K., & WIRTH, N., PASCAL User Manual and Report (2nd Edition), Springer-Verlag, N.Y., 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 KNUTH, D.E., "Structured Programming with go to Statements", ACM Computing Surveys, 5, 4 (Dec. 1974), 261-301. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13 OWICKI, S. & GRIES, D.G., An Axiomatic Proof Technique for Parallel Programs I, Acta Informatica, 6, 1976, 319-340.Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14 PATTERSON, D.A., Strum: Structured Micro-program Development System for Correct Firmware, IEEE Trans. Comput., C-25, 10 (Oct. 1976), 974-985.Google ScholarGoogle Scholar
  15. 15 RAMAMOORTHY, C.V., & TSUCHIYA, M., A High-Level Language for Horizontal Microprogramming, IEEE Trans. Comput., C-23, 8, (Aug. 1974), 791-801.Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16 SAMMET, J., Programming Languages: History and Fundamentals, Prentice-Hall, N.J., 1969. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17 WIRTH, N., Systematic Programming, Prentice-Hall, N.J., 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 18 WIRTH, N., "Varian Microprogramming Guide", Varian Data Machines, Irvine, CA, 1975.Google ScholarGoogle Scholar

Index Terms

  1. Towards a microprogramming language schema

      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

      • Published in

        cover image ACM SIGMICRO Newsletter
        ACM SIGMICRO Newsletter  Volume 9, Issue 4
        Dec. 1978
        160 pages
        ISSN:1050-916X
        DOI:10.1145/1014198
        Issue’s Table of Contents

        Copyright © 1978 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 19 November 1978

        Check for updates

        Qualifiers

        • article

      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!