M. Aksit and S. Matsuoka (Eds.): ECOOP '97 - Object-Oriented Programming 11th European Conference, Jyväskylä, Finnland, June 1997. Proceedings Springer-Verlag Berlin Heidelberg 1997   LNCS 1241   Ordering Information

Table of Contents

Invited Talk 1

GOODS to Appear on the Stage
Kristen Nygaard
ECOOP '97 (LNCS 1241), p. 1 ff.
Full article in PDF

Programming Languages

Balloon Types: Controlling Sharing of State in Data Types
Paulo Sérgio Almeida
ECOOP '97 (LNCS 1241), p. 32 ff.
Full article in PDF

Static Integrity Constraint Management in Object-Oriented Database. Programming Languages via Predicate Transformers
Véronique Benzaken and Xavier Schaefer
ECOOP '97 (LNCS 1241), p. 60 ff.
Full article in PDF

Issues with Exception Handling in Object-Oriented Systems
Robert Miller and Anand Tripathi
ECOOP '97 (LNCS 1241), p. 85 ff.
Full article in PDF

Types

Subtyping is not a Good "Match" for Object-Oriented Languages
Kim B. Bruce, Leaf Petersen, and Adrian Fiech
ECOOP '97 (LNCS 1241), p. 104 ff.
Full article in PDF

Near Optimal Hierarchical Encoding of Types
Andreas Krall, Jan Vitek, and R. Nigel Horspool
ECOOP '97 (LNCS 1241), p. 128 ff.
Full article in PDF

An Extended Theory of Primitive Objects: First Order System
Luigi Liquori
ECOOP '97 (LNCS 1241), p. 146 ff.
Full article in PDF

Metaprogramming

A Reflective Architecture for Process Control Applications
Charlotte Pii Lunau
ECOOP '97 (LNCS 1241), p. 170 ff.
Full article in PDF

Dynamic Object Evolution without Name Collisions
Mira Mezini
ECOOP '97 (LNCS 1241), p. 190 ff.
Full article in PDF

Invited Talk 2

Aspect-Oriented Programming
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin
ECOOP '97 (LNCS 1241), p. 220 ff.
Full article in PDF

Implementations and Systems

DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems
Huw Evans and Peter Dickman
ECOOP '97 (LNCS 1241), p. 243 ff.
Full article in PDF

A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages
Wade Holst and Duane Szafron
ECOOP '97 (LNCS 1241), p. 276 ff.
Full article in PDF

Optimizing Smalltalk by Selector Code Indexing can be Practical
Tamiya Onodera and Hiroaki Nakamura
ECOOP '97 (LNCS 1241), p. 302 ff.
Full article in PDF

Formal Methods and Specifications

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation
J.C. Bicarregui, K.C. Lano, and T.S.E. Maibaum
ECOOP '97 (LNCS 1241), p. 324 ff.
Full article in PDF

Towards a Formalization of the Unified Modeling Language
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner
ECOOP '97 (LNCS 1241), p. 344 ff.
Full article in PDF

Coordination Requirements Expressed in Types for Active Objects
Franz Puntigam
ECOOP '97 (LNCS 1241), p. 367 ff.
Full article in PDF

Java

Java is Type Safe - Probably
Sophia Drossopoulou and Susan Eisenbach
ECOOP '97 (LNCS 1241), p. 389 ff.
Full article in PDF

Feature-Oriented Programming: A Fresh Look at Objects
Christian Prehofer
ECOOP '97 (LNCS 1241), p. 419 ff.
Full article in PDF

Genericity in Java with Virtual Types
Kresten Krab Thorup
ECOOP '97 (LNCS 1241), p. 444 ff.
Full article in PDF

Patterns

Tool Support for Object-Oriented Patterns
Gert Florijn, Marco Meijers, and Pieter van Winsen
ECOOP '97 (LNCS 1241), p. 472 ff.
Full article in PDF

A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext
Matthias Meusel, Krzysztof Czarnecki, and Wolfgang Köpf
ECOOP '97 (LNCS 1241), p. 496 ff.
Full article in PDF

Using Patterns for Design and Documentation
Georg Odenthal and Klaus Quibeldey-Cirkel
ECOOP '97 (LNCS 1241), p. 511 ff.
Full article in PDF

Invited Talk 3 (Abstract)

Going Beyond Objects with Design Patterns
Erich Gamma
ECOOP '97 (LNCS 1241), p. 530
Full article in PDF

Author Index
ECOOP '97 (LNCS 1241), p. 531
Author index in PDF

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