Sciweavers

OOPSLA
1990
Springer
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 months ago
A Laboratory for Teaching Object-Oriented Thinking
Kent Beck, Ward Cunningham
CSFW
1990
IEEE
14 years 2 months ago
A New Polyinstantiation Integrity Constraint for Multilevel Relations
Ravi S. Sandhu, Sushil Jajodia, Teresa F. Lunt
CSFW
1989
IEEE
14 years 2 months ago
Specifying Security Constraints with Relaxation Lattices
Maurice Herlihy, Jeannette M. Wing
OOPSLA
1992
Springer
14 years 2 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 ...