A theory of formal microprograms

1 April 1973

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGMICRO Newsletter

Vol. 4 (1) , 5-17
https://doi.org/10.1145/1217116.1217117

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.

Keywords

THEORY OF FORMAL
ALGEBRAIC
GLUSHKOV'S
MATHEMATICAL
MICROPROGRAMS THIS PAPER
FORMAL MICROPROGRAMS
ATTEMPTED

This publication has 0 references indexed in Scilit: