Springer
CD PrefaceCD ContentsAuthor Index
LNCS 0512 P. America (Ed.):

ECOOP '91 European Conference on Object-Oriented Programming

Geneva, Switzerland, July 1991. Proceedings

Springer-Verlag Berlin Heidelberg 1991
 
LNCS 512
 
Ordering Information


 

Table of Contents

Title pages in PDF
Preface in PDF
Organization in PDF
Contents in PDF

Modeling the C++ Object Model: An Application of an Abstract Object Model
Alan Snyder
ECOOP '91 (LNCS 512), p. 1 ff.
Full article in PDF

Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
Urs Hölzle, Craig Chambers, and David Ungar
ECOOP '91 (LNCS 512), p. 21 ff.
Full article in PDF

An Object-Oriented Logic Language for Modular System Specification
Angelo Morzenti and Pierluigi San Pietro
ECOOP '91 (LNCS 512), p. 39 ff.
Full article in PDF

Capsules and Types in Fresco: Program Verification in Smalltalk
Alan Wills
ECOOP '91 (LNCS 512), p. 59 ff.
Full article in PDF

Schema Modifications in the LISPO2 Persistent Object-Oriented Language
Gilles Barbedette
ECOOP '91 (LNCS 512), p. 77 ff.
Full article in PDF

The Design of an Integrity Consistency Checker (ICC) for an Object Oriented Database System
Christine Delcourt and Roberto Zicari
ECOOP '91 (LNCS 512), p. 97 ff.
Full article in PDF

Synchronizing Actions
Christian Neusius
ECOOP '91 (LNCS 512), p. 118 ff.
Full article in PDF

An Object Calculus for Asynchronous Communication
Kohei Honda and Mario Tokoro
ECOOP '91 (LNCS 512), p. 133 ff.
Full article in PDF

Definition of Reusable Concurrent Software Components
Stefano Crespi Reghizzi, Guido Galli de Paratesi, and Stefano Genolini
ECOOP '91 (LNCS 512), p. 148 ff.
Full article in PDF

Inheritance in Object Oriented Z
Elspeth Cusack
ECOOP '91 (LNCS 512), p. 167 ff.
Full article in PDF

OOZE: An Object Oriented Z Environment
Antonio J. Alencar and Joseph A. Goguen
ECOOP '91 (LNCS 512), p. 180 ff.
Full article in PDF

Issues in the Design and Implementation of a Schema Designer for an OODBMS
Jay Almarode
ECOOP '91 (LNCS 512), p. 200 ff.
Full article in PDF

Object Integrity Using Rules
Claudia Bauzer Medeiros and Patrick Pfeffer
ECOOP '91 (LNCS 512), p. 219 ff.
Full article in PDF

Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming
Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa
ECOOP '91 (LNCS 512), p. 231 ff.
Full article in PDF

Implementational Reflection in Silica
Ramana Rao
ECOOP '91 (LNCS 512), p. 251 ff.
Full article in PDF

Exceptions in Guide, an Object-Oriented Language for Distributed Applications
Serge Lacourte
ECOOP '91 (LNCS 512), p. 268 ff.
Full article in PDF

Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies
Francis Wolinski and Jean François Perrot
ECOOP '91 (LNCS 512), p. 288 ff.
Full article in PDF

Multi-Methods in a Statically-Typed Programming Language
Warwick B. Mugridge, John Hamer, and John G. Hosking
ECOOP '91 (LNCS 512), p. 307 ff.
Full article in PDF

What is Type-Safe Code Reuse?
Jens Palsberg and Michael I. Schwartzbach
ECOOP '91 (LNCS 512), p. 325 ff.
Full article in PDF

Implementation Techniques for Integral Version Management
Ernst Lippe and Gert Florijn
ECOOP '91 (LNCS 512), p. 342 ff.
Full article in PDF

Object-Oriented Analysis and Top-Down Software Development
Dennis de Champeaux
ECOOP '91 (LNCS 512), p. 360 ff.
Full article in PDF

Incremental Class Dictionary Learning and Optimization
Paul L. Bergstein and Karl J. Lieberherr
ECOOP '91 (LNCS 512), p. 377 ff.
Full article in PDF


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