Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
Computer Organization and Programming
Computer Organization and Programming
Microprogram training - an APL application
APL '72 Proceedings of the fourth international conference on APL
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A programming language
Some Problems in Certifying Microprograms
IEEE Transactions on Computers
| Hi-index | 0.01 |
This paper describes the results of an investigation in proving the correctness of microprograms. The vehicle used is the Smachine, which is a very simple "paper" computer. The approach to the proof of correctness is based on formally defining the machineinstruction level and the microprogramming level of the given machine, and then showing that these "interfaces" are equivalent through the use of a concept called algebraic simulation.