Sciweavers

OOPSLA
1997
Springer
13 years 8 months ago
Efficient Type Inclusion Tests
A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyp...
Jan Vitek, R. Nigel Horspool, Andreas Krall
OOPSLA
1997
Springer
13 years 8 months ago
Garbage Collecting the World: One Car at a Time
A new garbage collection algorithm for distributed object systems, called DMOS (Distributed Mature Object Space), is presented. It is derived from two previous algorithms, MOS (Ma...
Richard L. Hudson, Ronald Morrison, J. Eliot B. Mo...
OOPSLA
1997
Springer
13 years 8 months ago
Declarative Specialization of Object-Oriented Programs
Eugen-Nicolae Volanschi, Charles Consel, Gilles Mu...
OOPSLA
1997
Springer
13 years 8 months ago
Class Hierarchy Specialization
Class libraries are generally designed with an emphasis on versatility and extensibility. Applications that use a library typically exercise only part of the library’s functiona...
Frank Tip, Peter F. Sweeney
OOPSLA
1997
Springer
13 years 8 months ago
Composite Design Patterns
ed Abstract Factory is yet another. When patterns cooperate, the cooperation itself can give rise to problems, contexts, trade-offs, and consequences. For instance, should a Visito...
Dirk Riehle
OOPSLA
1997
Springer
13 years 8 months ago
Query-Based Debugging of Object-Oriented Programs
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
Raimondas Lencevicius, Urs Hölzle, Ambuj K. S...
OOPSLA
1997
Springer
13 years 8 months ago
Call Graph Construction in Object-Oriented Languages
David Grove, Greg DeFouw, Jeffrey Dean, Craig Cham...
OOPSLA
1997
Springer
13 years 8 months ago
Parasitic Methods: An Implementation of Multi-Methods for Java
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
John Boyland, Giuseppe Castagna
OOPSLA
1997
Springer
13 years 8 months ago
Adding Type Parameterization to the Java Language
Ole Agesen, Stephen N. Freund, John C. Mitchell