This book constitutes the strictly refereed proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP'97, held in Jyväskylä, Finland, in June 1997.
The book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. The book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.
Author(s): Kristen Nygaard (auth.), Mehmet Akşit, Satoshi Matsuoka (eds.)
Series: Lecture Notes in Computer Science 1241
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 536
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Database Management
GOODS to appear on the stage....Pages 1-31
Balloon types: Controlling sharing of state in data types....Pages 32-59
Static integrity constraint management in object-oriented database programming languages via predicate transformers....Pages 60-84
Issues with exception handling in object-oriented systems....Pages 85-103
Subtyping is not a good “match” for object-oriented languages....Pages 104-127
Near optimal hierarchical encoding of types....Pages 128-145
An extended Theory of Primitive Objects: First order system....Pages 146-169
A reflective architecture for process control applications....Pages 170-189
Dynamic object evolution without name collisions....Pages 190-219
Aspect-oriented programming....Pages 220-242
DRASTIC: A run-time architecture for evolving, distributed, persistent systems....Pages 243-275
A general framework for inheritance management and method dispatch in object-oriented languages....Pages 276-301
Optimizing Smalltalk by selector code indexing can be practical....Pages 302-323
Objects, associations and subsystems: A hierarchical approach to encapsulation....Pages 324-343
Towards a formalization of the Unified Modeling Language....Pages 344-366
Coordination requirements expressed in types for active objects....Pages 367-388
Java is type safe — Probably....Pages 389-418
Feature-oriented programming: A fresh look at objects....Pages 419-443
Genericity in java with virtual types....Pages 444-471
Tool support for object-oriented patterns....Pages 472-495
A model for structuring user documentation of object-oriented frameworks using patterns and hypertext....Pages 496-510
Using patterns for design and documentation....Pages 511-529
Going beyond objects with design patterns....Pages 530-530