CLU reference manual
Software engineering with Ada
The C programming language
Communications of the ACM
Operating Systems, An Advanced Course
The “cultures” of microprogramming
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Abstract type oriented dynamic vertical migration (microprogramming, computer architecture)
Abstract type oriented dynamic vertical migration (microprogramming, computer architecture)
Classes: an abstract data type facility for the C language
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Naming and Binding in a Vertical Migration Environment
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Migration of functionality into microcode for the purposes of performance improvement and increased security may be oriented toward the migration of abstract data types. This provides a model of migration consistent with current models of machine architecture. An advantage is that information in making migration decisions can be drawn from the programmer's model of his problem as encapsulated in the data types in the program. In addition, the migration can be sensitive to changes in type visibility in various execution environments of the program. The paper discusses language aspects of abstract type oriented migration (ATOM) and details a working prototype implementation. Ada is used as the source language in the description of ATOM but C is used in the prototype.