Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings

Incluye referencias bibliográficas e índice.

Beyond Objects / Luc Steels (Vrije Universiteit Brussels) -- Should Superclasses be Abstract? / Walter L. Hiirsch (Northeastern University, Boston) -- Roles and Dynamic Subclasses: A Modal Logic Approach / Roel Wieringa, Wiebren de Yongc and Paul Spruit ( Vrije Universiteit Amsterdam) -- Methods as Assertions / John Lamping (Xerox PARC, Palo Alto) and Martin Abadi -- (DEC, Palo Alto) -- Abstracting Process-to-Function Relations in Concurrent Object-Oriented -- Applications / Cristina Videira Lopes and Karl Y. Lieberherr (Northeastern University, Boston) -- Typed Concurrent Objects / Vasco T. Vasconcelos (Keio University, Yokohama) -- Atomic Object Composition / Rachid Guerraoui (Ecole Polytcchnique Fédérale de Lausanne) -- Patterns Generate Architectures / Kent Beck (First Class Software, Inc.) and Ralph Johnson (University of Illinois) -- Meta Patterns - A Means for Capturing the Essentials of Reusable Object-Oriented Design / Wolfgang Pree (Johannes Kepler University Linz) -- Modeling Object-Oriented Program Execution / Wire De Pauw, Doug Kimelman and John Vlissides (IBM, T.J. Watson Research Center, Yorktown Heights) -- Putting Objects to Work: Hypermedia as the Subject Matter and the Medium for Computer-Supported Cooperative Work / Norbert A. Streitz (GMD-IPSI, Darmstadt) -- Objet-Oriented Computations in Logic Programming / Andrea Omicini and Antonio Natali (Università di Bologna) -- Deductive Object Databases / Elisa Bertino (Università di Milano), Giovanna Guerrini -- (Università di Genova) and Danilo Montesi (Universidade de Lisboa) -- Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping / S. Alagid, R. Sunderraman and R. Bagai (Wichita State University) -- Constraints and Object Identity / Gus Lopez (University of Washington), Bjørn Freeman-Benson (Århus University) and Alan Borning (University of Washington) -- Protection in the Guide Object-Oriented Distributed System / Daniel Hagimont (Bull-IMAG/Systèmes, Gières) -- Object Location Control Using Meta-level Programming / Hideaki Okamura (Keio University, Yokohama) and Yutaka Ishikawa -- (Real World Computing Partnership, Tsukuba) -- Customising Object Allocation / Giuseppe Attardi and Tito Flagella (Università di Pisa) -- Combining Object-Oriented Analysis and Formal Description Techniques / Ana M.D. Moreira and Robert G. Clark (University of Stifling) -- A Specification Language for Object-Oriented Analysis and Design / Ted L. Briggs (Intergraph Corporation, Huntsville) and John Werth (University of Texas at Austin) -- Real-Time Specification Inheritance Anomalies and Real-Time Filters / Mehmet Aksit, Jan Bosch (University of Twente), William van der Sterren (Eindhoven University of Technology) and Lodewijk Bergmans (University of Twente) -- Efficient Dynamic Look-up Strategy for Multi-Methods / Weimin Chen (GMD-IPSI, Darmstadt), Volker Turau (Fachhochschule Giessen-Friedberg) and Wol/gang Klas -- (GMD-IPSI, Darmstadt) -- Taming Message Passing: Efficient Method Look-up for Dynamically Typed Languages / Jan Vitek (Universitd de Genève) and R. Nigel Horspool (University of Victoria) -- Generalizing Dispatching in a Distributed Object System / Farshad Nayeri, Ben Hurwitz and Frank Manola (GTE Laboratories, Waltham) -- A Geographic Environmental Modeling System: Towards an Object-Oriented Framework / Bernd Bruegge and Erik Riedel (Carnegie Mellon University) -- Adding Digital Video to an Object-Oriented User Interface Toolkit / S.M.G. Freeman (Rank Xerox, Grenoble) and M.S. Manasse (DEC, Palo Alto) -- Product Configurations - An Application for Prototype Object Approach / Hannu Peltonen, Tomi Männistö, Karl Alho and Reijo Sulonen (Helsinki University of Technology) -- Author Index