skip to main content
article
Free Access

An introduction to the verification oriented microprogramming language “MIDDLE”

Published:19 November 1978Publication History
Skip Abstract Section

Abstract

The basic ideas of the microprogramming language MIDDLE are presented. The language gives a possibility to describe various properties of an executing hardware without loosing too much from the flexibility of a higher-level programming language. Three purely synctactic transformations defined in the language allow one to get more or less hardware oriented version of a microprogram. The language has full mathematical semantic description which gives the possibility for the microprogram verification based on the known general program-proof methods.

References

  1. 1 De Bakker, J.W., The fixed-point approach in semantics: theory and applications, in J.W. de Bakker (ed), Foundations of Computer Sci., Math. Centre Tracts 63, Amsterdam 1975.Google ScholarGoogle Scholar
  2. 2 Blikle A., An extended approach to mathematical analysis of programs, Banach Center Publications, vol.2, PWN, Warsaw 1977.Google ScholarGoogle Scholar
  3. 3 Blikle A., Budkowski S., Certification of microprograms by an algebraic method, Proc. MICRO-9, New Orlean, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Budkowski S., Dembinski P., Firmware versus software verification, this issue. Google ScholarGoogle Scholar
  5. 5 Budkowski S., Paplinski A., Sosnowski J., Zespoly i urzadzenia cyfrowe, WNT, Warsaw 1978.Google ScholarGoogle Scholar
  6. 6 Chu Y., Computer organization and microprogramming, Prentice Hall, New York 1972.Google ScholarGoogle Scholar
  7. 7 Dembinski P., Budkowski S., Verification, design and description - oriented microprogramming language, Proc. EUROMICRO-78, Munich, 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Eckhouse R.H., A high-level microprogramming language, Proc. SJCC, 1971.Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 Gerace G.B., Vanneschi M., Flow-charting, microprogramming and system design, Proc. EUROMICRO-76.Google ScholarGoogle Scholar
  10. 10 Hansen I., Leszczylowski J., Micro-program-oriented model of the controlled structure, Proc. MFCS 76, Lecture Notes in Comp. Sci., Springer-Verlag, 1976Google ScholarGoogle Scholar
  11. 11 Mazurkiewicz A., Proving properties of processes, CCPAS Reports 134, 1973.Google ScholarGoogle Scholar
  12. 12 Patterson D.A., The design of a system for the synthesis of correct microprograms, Proc. MICRO-8, Chicago, 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13 Salisbury A.B., Microprogrammable computer architecture, Elsevier, New York, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14 Scott D., Strachey Ch., Toward a math. semantics for computer languages, Techn. Monograph PRG-6, Oxford, 1971Google ScholarGoogle Scholar

Index Terms

  1. An introduction to the verification oriented microprogramming language “MIDDLE”

          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 Authors

            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!