ECOOP '91, European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings

Mostrar todas las versiones(2)
Detalles Bibliográficos
Autor Principal: America, Pierre
Formato: Libro
Lengua:inglés
Datos de publicación: Berlín : Springer, 1991
Edición:1st ed.
Series:Lecture notes in computer science 512
Temas:
REUNIONES
Acceso en línea:Consultar en el Cátalogo
Descripción Física:x, 396 p. ; 25 cm.
ISBN:3540542620
Tabla de Contenidos:
  • Modeling the C++ Object Model: An Application of an Abstract Object Model /
  • Alan Snyder (Hewlett-Packard Laboratories, Palo Alto)
  • Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches/
  • Urs HSIzle, Craig Chambers, David Ungar (Stanford University)
  • An Object-Oriented Logic Language for Modular System Specification /
  • Angelo Morzenti, Pierluigi San Pietro (Politecnico di Milano)
  • Capsules and Types in Fresco: Program Verification in Smalltalk/
  • Alan Wills (University of Manchester)
  • Schema Modifications in the LISPO2 Persistent Object-Oriented Language/
  • Gilles Barbedette (AltaYr, Le Chesnay)
  • The Design of an Integrity Consistency Checker (ICC) for an Object Oriented Database System /
  • Christine Delcourt (AltaYr, Le Chesnay), Roberto Zicari (Politecnico di Milano)
  • Synchronizing Actions /
  • Christian Neusius (Universit~t des Saarlandes)
  • An Object Calculus for Asynchronous Communication /
  • Kohei Honda, Mario Tokoro (Keio University, Yokohama)
  • Definition of Reusable Concurrent Software Components /
  • Stefano Crespi Reghizzi, Guido Galli de Paratesi (Politecnico di Milano), Stefano Genolini (TXT, Milano)
  • Inheritance in Object Oriented Z /
  • Elspeth Cusack (British Telecom, Ipswich)
  • OOZE: An Object Oriented Z Environment /
  • Antonio J. Alencar, Joseph A. Goguen (University of Oxford)
  • Issues in the Design and Implementation of a Schema Designer for an OODBMS /
  • Jay Almarode (Instantiations, Portland)
  • Object Integrity Using Rules /
  • Claudia Bauzer Medeiros (DCC-IMECC-UNICAMP-CP, Campinas),Patrick Pfeffer (University of Colorado, Boulder)
  • Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming /
  • Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa (University of Tokyo)
  • Implementational Reflection in Silica /
  • Ramana Rao (Xerox Palo Alto Research Center)
  • Exceptions in Guide, an Object-Oriented Language for Distributed Applications /
  • Serge Lacourte (Bull-lmag, Gi#res)
  • Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies /
  • Francis Wolinski, Jean-Frans Perrot (Universit# Paris VI and CNRS)
  • Multi-Methods in a Statically-Typed Programming Language /
  • Warwick B. Mugridge, John Hamer, John G. Hosking (University of Auckland)
  • What is Type-Safe Code Reuse? /
  • Jens Palsberg, Michael I. Schwartzbach (Aarhus University)
  • Implementation Techniques for Integral Version Management /
  • Ernst Lippe (University of Utrecht and Software Engineering Research Centre, Utrecht), Gert Florijn (Software Engineering Research Centre, Utrecht)
  • Object-Oriented Analysis and Top-Down Software Development /
  • Dennis de Champeaux (Hewlett-Packard Laboratories, Palo Alto)
  • Incremental Class Dictionary Learning and Optimization /
  • Paul L. Bergstein, Karl J. Lieberherr (Northeastern Universi~ Boston)

Ejemplares similares