M. Tokoro and R. Pareschi (Eds.): Object-Oriented Programming 8th European Conference, ECOOP '94, Bologna, Italy, July 1994. Proceedings Springer-Verlag Berlin Heidelberg 1994   LNCS 821   Ordering Information

Table of Contents

Keynote Speech

Beyond Objects
Luc Steels
ECOOP '94 (LNCS 821), p. 1 ff.
Full article in PDF

Class Design

Should Superclasses be Abstract?
Walter L. Hürsch
ECOOP '94 (LNCS 821), p. 12 ff.
Full article in PDF

Roles and Dynamic Subclasses: A Modal Logic Approach
Roel Wieringa, Wiebren de Jonge, and Paul Spruit
ECOOP '94 (LNCS 821), p. 32 ff.
Full article in PDF

Methods as Assertions
John Lamping and Martin Abadi
ECOOP '94 (LNCS 821), p. 60 ff.
Full article in PDF

Concurrency

Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications
Cristina Videira Lopes and Karl J. Lieberherr
ECOOP '94 (LNCS 821), p. 81 ff.
Full article in PDF

Typed Concurrent Objects
Vasco T. Vasconcelos
ECOOP '94 (LNCS 821), p. 100 ff.
Full article in PDF

Atomic Object Composition
Rachid Guerraoui
ECOOP '94 (LNCS 821), p. 118 ff.
Full article in PDF

Patterns

Patterns Generate Architectures
Kent Beck and Ralph E. Johnson
ECOOP '94 (LNCS 821), p. 139 ff.
Full article in PDF

Meta Patterns - A Means for Capturing the Essentials of Reusable Object-Oriented Design
Wolfgang Pree
ECOOP '94 (LNCS 821), p. 150 ff.
Full article in PDF

Modeling Object-Oriented Program Execution
Wim De Pauw, Doug Kimelman, and John Vlissides
ECOOP '94 (LNCS 821), p. 163 ff.
Full article in PDF

Invited Talk

Putting Objects to Work: Hypermedia as the Subject Matter and the Medium for Computer-Supported Cooperative Work
Norbert A. Streitz
ECOOP '94 (LNCS 821), p. 183 ff.
Full article in PDF

Declarative Programming

Object-Oriented Computations in Logic Programming
Andrea Omicini and Antonio Natali
ECOOP '94 (LNCS 821), p. 194 ff.
Full article in PDF

Deductive Object Databases
Elisa Bertino, Giovanna Guerrini, and Danilo Montesi
ECOOP '94 (LNCS 821), p. 213 ff.
Full article in PDF

Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping
Suad Alagic, R. Sunderraman, and R. Bagai
ECOOP '94 (LNCS 821), p. 236 ff.
Full article in PDF

Constraints and Object Identity
Gus Lopez, Bjørn N. Freeman-Benson, and Alan Borning
ECOOP '94 (LNCS 821), p. 260 ff.
Full article in PDF

Implementation

Protection in the Guide Object-Oriented Distributed System
Daniel Hagimont
ECOOP '94 (LNCS 821), p. 280 ff.
Full article in PDF

Object Location Control Using Meta-level Programming
Hideaki Okamura and Yutaka Ishikawa
ECOOP '94 (LNCS 821), p. 299 ff.
Full article in PDF

Customising Object Allocation
Giuseppe Attardi and Tito Flagella
ECOOP '94 (LNCS 821), p. 320 ff.
Full article in PDF

Specification

Combining Object-Oriented Analysis and Formal Description Techniques
Ana M.D. Moreira and Robert G. Clark
ECOOP '94 (LNCS 821), p. 344 ff.
Full article in PDF

A Specification Language for Object-Oriented Analysis and Design
Ted L. Briggs and John Werth
ECOOP '94 (LNCS 821), p. 365 ff.
Full article in PDF

Real-Time Specification Inheritance Anomalies and Real-Time Filters
Mehmet Aksit, Jan Bosch, William van der Sterren, and Lodewijk Bergmans
ECOOP '94 (LNCS 821), p. 386 ff.
Full article in PDF

Dispatching

Efficient Dynamic Look-up Strategy for Multi-Methods
Weimin Chen, Volker Turau, and Wolfgang Klas
ECOOP '94 (LNCS 821), p. 408 ff.
Full article in PDF

Taming Message Passing: Efficient Method Look-up for Dynamically Typed Languages
Jan Vitek and R. Nigel Horspool
ECOOP '94 (LNCS 821), p. 432 ff.
Full article in PDF

Generalizing Dispatching in a Distributed Object System
Farshad Nayeri, Ben Hurwitz, and Frank Manola
ECOOP '94 (LNCS 821), p. 450 ff.
Full article in PDF

Experience

A Geographic Environmental Modeling System: Towards an Object-Oriented Framework
Bernd Bruegge and Erik Riedel
ECOOP '94 (LNCS 821), p. 474 ff.
Full article in PDF

Adding Digital Video to an Object-Oriented User Interface Toolkit
S.M.G. Freeman and M.S. Manasse
ECOOP '94 (LNCS 821), p. 493 ff.
Full article in PDF

Product Configurations - An Application for Prototype Object Approach
Hannu Peltonen, Tomi Männistö, Kari Alho, and Reijo Sulonen
ECOOP '94 (LNCS 821), p. 513 ff.
Full article in PDF

Author Index
ECOOP '94 (LNCS 821), p. 535
Author index in PDF

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