Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 276 J. Bezivin J.-M. Hullot I? Cointe H. Lieberman (Eds.) ECOOP '87 European Conference on 0 bject-oriented Programming Paris, France, June 15-1 7, 1987 Proceedings S p r i n g e r -Ve r I ag Berlin Heidelberg NewYork London Paris Tokyo
Editorial Board D.Barstow W. Brauer P. Brinch Hansen D. Gries D. Luckham C. Moler A. Pnueli G. SeegmUller J. Stoer N. Wirth Editors Jean BBzivin Laboratoire d lnformatique, LIB UniversitB de Bretagne Occidentale 6,avenue V. le Gorgeu, F-29287 Brest CBdex, France Jean-Marie Hullot 54, avenue des Gressets, F-92700 La Celle Saint-Cloud, France Pierre Cointe Rank Xerox France, DRBl 12, place de l lris, Cedex 38, F-92071 La Defense, France Henry Lieberman The Artificial Intelligence Laboratory Massachusetts Institute of Technology 545, Technology Square, Cambridge, MA 02139, USA CR Subject Classification (1987): D.1, D.2.2, D.2.6, D.2.10, D.3.2-3 ISBN 3-540-18353-1 Springer-Verlag Berlin Heidelberg New York ISBN 0-387-18353-1Springer-Verlag New York Berlin Heidelberg
Preface In October 1983 an informal meeting was organized in Le Cap d'agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. More important was their unanimous demand for other, more structured encounters. So, about one year later, the Object group was created by AFCET. A second workshop was organized in Brest, and again one year later in Paris, each time showing increased attendance and interest. The success of these meetings and the fact that similar activities were taking place in other European countries, especially Great Britain and Germany, led to the idea of an annual European Conference, providing a forum for theorists and practitioners interested in the object-oriented programming paradigm. It is impossible to acknowledge here all the people and organizations that welcomed with great enthusiasm the birth of the ECOOP conference and contributed to its organization. More than a hundred submissions were received and the program committee had the unpleasant task of turning down many valuable contributions. We hope, however, that the selection of papers for ECOOP'87 emphasizes the fundamental issues and problems of object-oriented programming and willpoint toward interesting future research directions. We hope also that ECOOP'87 will provide a pleasant meeting place for all working to exchange ideas about new tools, techniques and concepts that will be presented at subsequent ECOOP meetings or other related forums. We are particularly pleased to invite you to the ECOOP88 conference that will take place on 15th - 17th August 1988 in OSLO, Norway. Jean Bezivin, Jean-MarieHullot (ConferenceCo-Chairmen) Pierre Cointe, Henry Lieberman (Program Co-Chairmen)
Conference Co-Chairmen J.-M. Hullot, France J. Bkzivin (LIB, UBOfiNSTBr), France Proman Go-Chairmen P. Cointe (Rank Xerox/LITP), France H. Lieberman (MIT), USA Program Committee Members G. Attardi (DELPHJJ, Italy J. BCzivin (LIB, UBOmNSTBr), France P. Cointe (Rank XeroxLITP), France S Cook (London University), UK J.- M. Hullot, France B.B. Kristensen (Aalborg University), Denmark H. Liebeman (MJT), USA L. Steels (Brussels University), Belgium H. Stoyan (Konstanz University), FRG B. Stroustrup (AT&T Bell Labs), USA J. Vaucher (Montkal University), Canada A. Yonezawa (Tokyo Inst. of Technology), Japan Exhibition Chairman P. Gautron (INRIA), France USA Coordinator B. Stroustrup (AT&T Bell Labs), USA Organization AFCET, Association FranGaise pour la Cybemetique Economique et Technique AICA, Associazione Italiana per l'hformatica ed il Calcolo Automatic0 BCS, The British Computer Society GI, Gesellschaft fur Inforrnatik e.v. GRECO de Programmation du CNRS INRIA, Institut National de la Recherche en Infomatique et Automatique.
Table of Contents Deltatalk: An Empirically and Aesthetically Motivated Simpliflcat~onof the Smalltnlk-80 hnguagc A.BOR"G (University of Washington, USA), T. O'SHEA (Xerox Palo Alto Research Center, USA)... Reversible Object-Oriented Interpreters H.LIEBERMAN ( ~, U S A... ) Using Types and Inheritance in Object-Oriented Languages DCHALBERT, P.D.O'BRIEN (Digital Equipment Corp., USA).... Inheritance and Synchronization in Concurrent OOP J.-P.BRIOT (Tokyo Inst. of Technology, J. & LITP, F), A.YONEZAWA (Tokyo Inst. of Technology, J)... On Including Part Hierarchies in Object-Oriented Languages, with an Implementation in Smalltalk E.BLAKE, S.COOK (Queen Mary College, London University, UK).. What is " Object-Oriented Programming"? (invited paper) B.STROUSTRUP (AT&T Bell Laboratories, USA)... Object Representation of Scope During Translation S.C.DEWHURST (AT&T Bell Laboratories, USA)... Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy LWILLIAMS, M.WOLCZK0, T.HOPKINS (Manchester University, UK)... Traveler: The Apiary Observatory C.R.MANNING (MIT, USA)... Classification of Actions or Inheritance also for Methods B.B.KRISTENSEN (Aalborg University, DK), 0.L.MADSEN (Aarhus University, DK), B.MOLLER-PEDERSEN (Norwegian Computing Center, N), K.NYGAARD (University of Oslo, N)... Semantics of Smalltalk-80 M.WOLCZK0 (Manchester University, UK)... The Construction of User Interfaces and the Object Paradigm J.COUTA2 (IMAG, F)... 1 11 20 32 41 51 71 79 89 98 108 121
The ZOO Metasystem: A Direct-Manipulation Interface to Object-Oriented Knowledge Bases W.-F-RIEKERT (Siemens AG, ~ 0... ) The Filter Browser Defining Interfaces Graphically R.K.EGE, D.MAIER (Oregon Graduate Center, USA), A.BORNING (University of Washington, USA)... The Common Lisp Object System: An Overview (invited paper). L.G.DEMICHIEL, R.P.GABRIEL (Lucid Inc., USA)... Concurrency Features for the Trellis/Owl Language J.E.B.Moss, W.H.KOHLER (University of Massachusetts, USA).... Objects as Communicating Prolog Units P.MELL0, A.NATAL1 (University of Bologna, I)... An Object Modelling Technique for Conceptual Design M.E.S.LOOMIS, A.V.SHAH, J.E.RUMB AUGH (Calma Company, USA & GeneralElectric CR&D,USA)... A Modeller's Workbench: Experiments in Object-Oriented Simulation Programming W.KREUTZER (University of Canterbury, NZ)... Behavioral Simulation Based on Knowledge Objects T.MARUICHI, T.UCHIK1, M.TOKOR0 (Keio University, J).... Conformance, Genericity, Inheritance and Enhancement C.HORN (Trinity College Dublin, IRL)... Inheritance and Subtyping in a Parallel Object-Oriented Language P.AMERICA (Philips Research Laboratories, NL)... On Some Algorithms for Multiple Inheritance in ObjectOriented Programming R.DUCOURNAU (SEMA METRA,F), M.HABIB (LIB, ENSTBr/UBO,... FORK: A System for Object- and Rule-Oriented Programming C.BECKSTEIN, G.GoRZ, MTIELEMAN (University of ErlangenNumberg, FRG)... Overview of a Parallel Object-Oriented Language CLIX J.H.HUR, K.CHON (Korea Advanced Institute of Science and Technology, K)... 131 140 151 171 181 192 203 213 223 234 243 253 265