ISBN: 3540630899
TITLE: ECOOP'97 - Object-Oriented Programming
AUTHOR: Aksit, Mehmed; Matsuoka, Satoshi (Eds.)
TOC:

Invited Talk 1
GOODS to Appear on the Stage 1
Kristen Nygaard (University of Oslo)
Programming Languages
Balloon Types: Controlling Sharing of State in Data Types 32
Paulo Srgio Almeida (Imperial College)
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers 60
Vronique Benzaken and Xavier Schaefer (Universit de Paris I/XI)
Issues with Exception Handling in Object-Oriented Systems 85
Robert Miller and Anand Tripathi (University of Minnesota)
Types
Subtyping is not a Good "Match" for Object-Oriented Languages 104
Kim B. Bruce and Leaf Petersen (Williams College)
Adrian Fiech (Memorial University of Newfoundland)
Near Optimal Hierarchical Encoding of Types 128
Andreas Krall (Technische Universitt Wien)
Jan Vitek (Universit de Genve)
R. Nigel Horspool (University of Victoria)
An Extended Theory of Primitive Objects: First Order System 146
Luigi Liquori (Universit di Torino)
Metaprogramming
A Reflective Architecture for Process Control Applications 170
Charlotte Pii Lunau (Aalborg University)
Dynamic Object Evolution without Name Collisions 190
Mira Mezini (University of Siegen)
Invited Talk 2
Aspect-Oriented Programming 220
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier and John Irwin (Xerox PARC)
Implementation and Systems
DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems 243
Huw Evans and Peter Dickman (Glasgow University)
A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages 276
Wade Holst and Duane Szafron (University of Alberta)
Optimizing Smalltalk by Selector Code Indexing can be Practical 302
Tamiya Onodera and Hiroaki Nakamura
(IBM Tokyo Research Laboratory)
Formal Methods and Specifications
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation 324
J. C. Bicarregui, K.C. Lano, and T.S.E. Maibaum (Imperial College)
Towards a Formalization of the Unified Modeling Language 344
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe and Veronika Thurner
(Technische Universitt Mnchen)
Coordination Requirements Expressed in Types for Active Objects 367
Franz Puntigam (Technische Universitat Wien)
Java
Java is Type Safe - Probably 389
Sophia Drossopoulou and Susan Eisenbach (Imperial College)
Feature-Oriented Programming: A Fresh Look at Objects 419
Christian Prehofer (Technische Universitt Mnchen)
Genericity in Java with Virtual Types 444
Kresten Krab Thorup (Aarhus University)
Patterns
Tool Support for Object-Oriented Patterns 472
Gert Florijn, Marco Meijers and Pieter van Winsen
(Utrecht University)
A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext 496
Matthias Meusel, Krzysztof Czarnecki and Wolfgang Kpf
(Daimler-Benz AG, Research and Technology)
Using Patterns for Design and Documentation 511
Georg Odenthal and Klaus Quibeldey-Cirkel (University of Siegen)
Invited Talk 3 (Abstract)
Going Beyond Objects with Design Patterns 530
Erich Gamma (Object Technology International, Zurich)
Author Index 531
END
