ECOOP
1987
Springer
14 years 3 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
ECOOP
1987
Springer
14 years 3 months ago
1987
Springer
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...
ECOOP
1987
Springer
14 years 3 months ago
1987
Springer
ECOOP
1989
Springer
14 years 3 months ago
1989
Springer
CTCS
1987
Springer
14 years 3 months ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
CTCS
1987
Springer
14 years 3 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
ASPLOS
1987
ACM
14 years 3 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
ASPLOS
1987
ACM
14 years 3 months ago
1987
ACM
ASPLOS
1987
ACM
14 years 3 months ago
1987
ACM
One potentialdisadvantage of a machine with a reduced instruction. set is that object programs may be substantially larger than those for a machine with a richer, more complex ins...
ASPLOS
1987
ACM
14 years 3 months ago
1987
ACM
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...