ISBN: 3540582029
TITLE: ECOOP '94 - Object-Oriented Programming
AUTHOR: Tokoro, Mario; Pareschi, Remo (Eds.)
TOC:

Keynote Speech
Beyond Objects l
Luc Steels (Vrije Universiteit Brussels)
Class Design
Should Superclasses be Abstract? 12
Walter L. Hrsch (Northeastern University, Boston)
Roles and Dynamic Subclasses: A Modal Logic Approach 32
Roe1 Wieringa, Wiebren de Jonge and Paul Spruit (Vrije Universiteit Amsterdam)
Methods as Assertions 60
John Lamping (Xerox PARC, Palo Alto) and Martn Abadi (DEC, Palo Alto)
Concurrency
Abstracting ProcesstoFunction Relations in Concurrent ObjectOriented Applications 81
Cristina Videira Lopes and Karl J. Lieberherr (Northeastern University, Boston)
Typed Concurrent Objects 100
Vasco T. Vasconcelos (Keio University, Yokohama)
Atomic Object Composition 118
Rachid Guerraoui (Ecole Polytechnique Fdrale de Lausanne)
Patterns
Patterns Generate Architectures 139
Kent Beck (First Class Software, Inc.) and Ralph Johnson (University of Illinois)
Meta Patterns - A Means for Capturing the Essentials of Reusable ObjectOriented Design 150
Wolfgang Pree (Johannes Kepler University Linz)
Modeling ObjectOriented Program Execution 163
Wim De Pauw, Doug Kimelman and John Vlissides (IBM, T.J. Watson Research Center, Yorktown Heights)
Invited Talk
Putting Objects to Work: Hypermedia as the Subject Matter and the Medium for ComputerSupported Cooperative Work 183
Norbert A. Streitz (GMDIPSI, Darmstadt)
Declarative Programming
ObjetOriented Computations in Logic Programming 194
Andrea Omicini and Antonio Natali (Universit di Bologna)
Deductive Object Databases 213
Elisa Bertino (Universit di Milano), Giovanna Guerrini (Universit di Genova) and Danilo Montesi (Universidade de Lisboa)
Declarative ObjectOriented Programming: Inheritance, Subtyping and
Prototyping 236
S. Alagic, R. Sunderraman and R. Bagai (Wichita State University)
Constraints and Object Identity 260
Gus Lopez (University of Washington), Bjrn FreemanBenson (rhus University) and Alan Borning (University of Washington)
Implementation
Protection in the Guide ObjectOriented Distributed System 280
Daniel Hagimont (BullIMAG/Systmes, Gires)
Object Location Control Using Metalevel Programming 299
Hideaki Okamura (Keio University, Yokohama) and Yutaka Ishikawa (Real World Computing Partnership, Tsukuba)
Customising Object Allocation 320
Giuseppe Attardi and Tito Flagella (Universit di Pisa)
Specification
Combining ObjectOriented Analysis and Formal Description Techniques 344
Ana M.D. Moreira and Robert G. Clark (University of Stirling)
A Specification Language for ObjectOriented Analysis and Design 365
Ted L. Briggs (Intergraph Corporation, Huntsrrille) and John Werth (University of Texas at Austin)
RealTime Specification Inheritance Anomalies and RealTime Filters 386
Mehmet Aksit, Jan Bosch (University of Twente), William van der Sterren (Eindhorren University of Technology) and Lodewijk Bergmans (University of Twente)
Dispatching
Efficient Dynamic Lookup Strategy for MultiMethods 408
Weimin Chen (GMDIPSI, Darmstadt), Volker Turau (Fachhochschule GiessenFriedberg) and Wolfgang Klas (GMDIPSI. Darmstadt)
Taming Message Passing: Efficient Method Lookup for Dynamically Typed Languages 432
Jan, Vitek (Universit de Genve) and R. Nigel Horspool (University of Victoria)
Generalizing Dispatching in a Distributed Object System 450
Farshad Nayeri, Ben Hurwitz and Frank Manola (GTE Laboratories, Waltham)
Experience
A Geographic Environmental Modeling System: Towards an ObjectOriented Framework 474
Bernd Bruegge and Erik Riedel (Carnegie Mellon University)
Adding Digital Video to an ObjectOriented User Interface Toolkit 493
S.M.G. Freeman (Rank Xerox, Grenoble) and M.S. Manasse (DEC, Palo Alto)
Product Configurations  An Application for Prototype Object Approach 513
Hannu Peltonen, Tomi Mnnist, Kari Alho and Reijo Sulonen (Helsinki University of Technology)
Author Index 535
END
