The use of hoare logic in the verification of horizontal microprograms
- 1 December 1984
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 13 (6) , 461-490
- https://doi.org/10.1007/bf00985823
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- S*(QM-1)ACM SIGMICRO Newsletter, 1981
- Optimization of MicroprogramsIEEE Transactions on Computers, 1981
- Some Experiments in Local Microcode Compaction for Horizontal MachinesIEEE Transactions on Computers, 1981
- Trace Scheduling: A Technique for Global Microcode CompactionIEEE Transactions on Computers, 1981
- The MPG System: A Machine-Independent Efficient Microprogram GeneratorIEEE Transactions on Computers, 1981
- The Science of ProgrammingPublished by Springer Nature ,1981
- Local Microcode Compaction TechniquesACM Computing Surveys, 1980
- Some Aspects of High-Level MicroprogrammingACM Computing Surveys, 1980
- Towards a microprogramming language schemaACM SIGMICRO Newsletter, 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969