The MPG System: A Machine-Independent Efficient Microprogram Generator

DOI10.1109/TC.1981.1675804zbMath0463.68012MaRDI QIDQ3914396

Hiroshi Hagiwara, Takanobu Baba

Publication date: 1981

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

zbMATH Keywords

machine-independent high-level microprogramming languagesMPGL

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

The use of hoare logic in the verification of horizontal microprograms

This page was built for publication: The MPG System: A Machine-Independent Efficient Microprogram Generator