Microprocessor architectures: a comparison based on code generation by compiler
Communications of the ACM
Reduced instruction set computers
Communications of the ACM - Special section on computer architecture
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An overview of the mesa processor architecture
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Instruction-path coprocessing to solve some RISC problems
ACM SIGARCH Computer Architecture News
The role of the computer architecture simulator in the laboratory
ACM SIGCSE Bulletin
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers
| Hi-index | 0.00 |
Programming Languages and Operating Systems introduce abstractions which allow the programmer to ignore details of an implementation. Support of an abstraction must not only concentrate on promoting the efficiency of an implementation, but also on providing the necessary guards against violations of the abstractions. In the frantic drive for efficiency the second goal has been neglected. There are indications that recent designs which are claimed to be both simple and powerful, achieve efficiency by shifting the complex issues of code generation and of appropriate guards onto compilers.Complexity has become the common hallmark of software as well as hardware designs. It cannot be mastered by the common practices of testing and simulation. Hardware design may profit from developments in programming methodology by adopting proof techniques similar to those used in programming.