Springer
CD PrefaceCD ContentsAuthor Index
LNCS 1628 R. Guerraoui (Ed.):

ECOOP '99 - Object-Oriented Programming

13th European Conference, Lisbon, Portugal, June 1999. Proceedings

Springer-Verlag Berlin Heidelberg 1999
 
LNCS 1628
 
Ordering Information


 

Table of Contents

Title pages in PDF
Preface in PDF
Organization in PDF
Contents in PDF

Invited Paper 1

A Trace Model for Pointers and Objects
C.A.R. Hoare and He Jifeng
ECOOP '99 (LNCS 1628), p. 1 ff.
Full article in PDF

Mixins

Synthesizing Objects
Krzysztof Czarnecki and Ulrich W. Eisenecker
ECOOP '99 (LNCS 1628), p. 18 ff.
Full article in PDF

A Core Calculus of Classes and Mixins
Viviana Bono, Amit Patel, and Vitaly Shmatikov
ECOOP '99 (LNCS 1628), p. 43 ff.
Full article in PDF

Propagating Class and Method Combination
Erik Ernst
ECOOP '99 (LNCS 1628), p. 67 ff.
Full article in PDF

Debugging and Garbage Collection

A Study of Allocation Behavior of the SPECjvm98 Java Benchmarks
Sylvia Dieckman and Urs Hölzle
ECOOP '99 (LNCS 1628), p. 92 ff.
Full article in PDF

Visualizing Reference Patterns for Solving Memory Leaks in Java
Wim De Pauw and Gary Sevitsky
ECOOP '99 (LNCS 1628), p. 116 ff.
Full article in PDF

Dynamic Query-Based Debugging
Raimondas Lencevicius, Urs Hölzle, and Ambuj K. Singh
ECOOP '99 (LNCS 1628), p. 135 ff.
Full article in PDF

Type Checking

Foundations for Virtual Types
Atsushi Igarashi and Benjamin C. Pierce
ECOOP '99 (LNCS 1628), p. 161 ff.
Full article in PDF

Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes
Kresten Krab Thorup and Mads Torgersen
ECOOP '99 (LNCS 1628), p. 186 ff.
Full article in PDF

An Object-Oriented Effects System
Aaron Greenhouse and John Boyland
ECOOP '99 (LNCS 1628), p. 205 ff.
Full article in PDF

Invited Paper 2

Providing Persistent Objects in Distributed Systems
Barbara Liskov, Miguel Castro, Liuba Shrira, and Atul Adya
ECOOP '99 (LNCS 1628), p. 230 ff.
Full article in PDF

Virtual and Multi-methods

Inlining of Virtual Methods
David Detlefs and Ole Agesen
ECOOP '99 (LNCS 1628), p. 258 ff.
Full article in PDF

Modular Statically Typed Multimethods
Todd Millstein and Craig Chambers
ECOOP '99 (LNCS 1628), p. 279 ff.
Full article in PDF

Multi-method Dispatch Using Multiple Row Displacement
Candy Pang, Wade Holst, Yuri Leontiev, and Duane Szafron
ECOOP '99 (LNCS 1628), p. 304 ff.
Full article in PDF

Adaptive Programming

Internal Iteration Externalized
Thomas Kühne
ECOOP '99 (LNCS 1628), p. 329 ff.
Full article in PDF

Type-Safe Delegation for Run-Time Component Adaptation
Günther Kniesel
ECOOP '99 (LNCS 1628), p. 351 ff.
Full article in PDF

Towards Automatic Specialization of Java Programs
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, and Gilles Muller
ECOOP '99 (LNCS 1628), p. 367 ff.
Full article in PDF

Classification and Inheritance

Wide Classes
Manuel Serrano
ECOOP '99 (LNCS 1628), p. 391 ff.
Full article in PDF

An Approach to Classify Semi-Structured Objects
Elisa Bertino, Giovanna Guerrini, Isabella Merlo, and Marco Mesiti
ECOOP '99 (LNCS 1628), p. 416 ff.
Full article in PDF

Invited Paper 3

Object-Oriented Programming on the Network
Jim Waldo
ECOOP '99 (LNCS 1628), p. 441 ff.
Full article in PDF

Distributed Objects

Providing Fine-Grained Access Control for Java Programs
Raju Pandey and Brant Hashii
ECOOP '99 (LNCS 1628), p. 449 ff.
Full article in PDF

Formal Specification and Prototyping of CORBA Systems
Rémi Bastide, Ousmane Sy, and Philippe Palanque
ECOOP '99 (LNCS 1628), p. 474 ff.
Full article in PDF

A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
Mauro Gaspari and Gianluigi Zavattaro
ECOOP '99 (LNCS 1628), p. 495 ff.
Full article in PDF

Invited Paper 4

Object-Oriented Programming: Regaining the Excitement
Andrew P. Black
ECOOP '99 (LNCS 1628), p. 519 ff.
Full article in PDF

Author Index
ECOOP '99 (LNCS 1628), p. 529
Author index in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2000