|
|
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
|
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 |