skip to main content
article
Free Access

A theory of formal microprograms

Authors Info & Claims
Published:01 April 1973Publication History
Skip Abstract Section

Abstract

This paper attempts to formulate a mathematical theory of microprogramming, along with Glushkov's approach on formal microprogram transformations. In particular, we have attempted to construct an algebraic theory of formal microprograms.

References

  1. V. Glushkov, Automata theory and formal microprogram transformations, KIBERNETIKA, vol. 1, no.5 (1965)Google ScholarGoogle Scholar
  2. T. Ito, Some formal properties of a class of program schemata, IEEE Symposium on Switching and Automata Theory (1968)Google ScholarGoogle Scholar
  3. T. Ito, On proving the correctness of programs, Fourth Princeton Conference on Information Sciences and Systems (1970)Google ScholarGoogle Scholar
  4. T. Ito, Mathematical theory of programs, Journal of Information Processing Society of Japan, vol.11, no.10 (1970) (in Japanese)Google ScholarGoogle Scholar
  5. T. Ito, On Glushkov's regular microprograms, Fourth Hawaii International Conference on Systems Sciences (1971)Google ScholarGoogle Scholar
  6. T. Ito, Super-regular expressions and their applications to theory of programs, Symposium on Mathematical Theory of Languages and Automata (1971) (in Japanese)Google ScholarGoogle Scholar
  7. T. Ito, Mathematical theory of programs and its applications, Journal of IEE in Japan (to appear, in Japanese) (1971)Google ScholarGoogle Scholar
  8. R. Karp and R. Miller, Parallel Program Schemata, Journal of Computers and Systems Sciences, vol.3(1969)Google ScholarGoogle Scholar
  9. D. Scott, private communicationsGoogle ScholarGoogle Scholar
  10. D. Scott, Outline of a mathematical theory of computation, Fourth Princeton Conference on Information Sciences and Systems (1970)Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. A theory of formal microprograms

    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 4, Issue 1
      April 1973
      46 pages
      ISSN:1050-916X
      DOI:10.1145/1217116
      Issue’s Table of Contents

      Copyright © 1973 Author

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 April 1973

      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!