An introduction to the verification oriented microprogramming language "MIDDLE"

@inproceedings{Dembinski1978AnIT,
  title={An introduction to the verification oriented microprogramming language "MIDDLE"},
  author={Piotr Dembinski and Stanislaw Budkowski},
  booktitle={MICRO},
  year={1978}
}
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… CONTINUE READING