Sciweavers

OOPSLA
1990
Springer
13 years 11 months ago
Mixin-based Inheritance
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
Gilad Bracha, William R. Cook
OOPSLA
1989
Springer
13 years 11 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
OOPSLA
1989
Springer
13 years 11 months ago
Virtual Classes: A Powerful Mechanism in Object-Oriented Programming
The notions of class, subclass and virtual procedure are fairly well understood and recognized as some of the key concepts in object-oriented programming. The possibility of modif...
Ole Lehrmann Madsen, Birger Møller-Pedersen
OOPSLA
1989
Springer
13 years 11 months ago
A Denotational Semantics of Inheritance and its Correctness
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
William R. Cook, Jens Palsberg
OOPSLA
1989
Springer
13 years 11 months ago
A Laboratory for Teaching Object-Oriented Thinking
Kent Beck, Ward Cunningham
CSFW
1990
IEEE
13 years 11 months ago
A New Polyinstantiation Integrity Constraint for Multilevel Relations
Ravi S. Sandhu, Sushil Jajodia, Teresa F. Lunt
CSFW
1989
IEEE
13 years 11 months ago
Specifying Security Constraints with Relaxation Lattices
Maurice Herlihy, Jeannette M. Wing
OOPSLA
1992
Springer
13 years 11 months ago
CACL: Efficient Fine-Grained Protection for Objects
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
Joel E. Richardson, Peter M. Schwarz, Luis-Felipe ...