PL360, a Programming Language for the 360 Computers
Journal of the ACM (JACM)
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
The Datasaab FCPU microprogramming language
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
A microprogramming language for the MLP-900
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
A programmer controlled approach to data and control abstraction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Hi-index | 0.00 |
The paper describes the basic ideas in extending a machine-oriented microprogramming language into a system implementation language through data and control abstraction. The approach allows an extremely primitive base language to be bootstrapped to a higher level by a type definition mechanism where the operations of the types may be microprogrammed. Vertical migration is then possible by local modifications in operation definitions. On the other hand, a suitable type definition library would make it unnecessary for an ordinary user to know that all operations are ultimately based on microprogrammed definitions. This work is part of project Ukko which has designed a special microprogrammable computer for experimentation with user microprogramming.