Object-Oriented Programming: 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings

✍ Scribed by Luc Steels (auth.), Mario Tokoro, Remo Pareschi (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1994
• Tongue: English
• Leaves: 1058
• Series: Lecture Notes in Computer Science 821
• Edition: 1
• Category: Library

✦ Synopsis

This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the premier European event on object-oriented programming and technology. The 25 full refereed papers presented in the volume were selected from 161 submissions; they are grouped in sessions on class design, concurrency, patterns, declarative programming, implementation, specification, dispatching, and experience. Together with the keynote speech "Beyond Objects" by Luc Steels (Brussels) and the invited paper "Putting Objects to Work" by Norbert A. Streitz (GMD-IPSI, Darmstadt) they offer an exciting perspective on object-oriented programming research and applications.

✦ Table of Contents

Beyond objects....Pages 1-11
Should superclasses be abstract?....Pages 12-31
Roles and dynamic subclasses: A modal logic approach....Pages 32-59
Methods as assertions....Pages 60-80
Abstracting process-to-function relations in concurrent object-oriented applications....Pages 81-99
Typed concurrent objects....Pages 100-117
Atomic object composition....Pages 118-138
Patterns generate architectures....Pages 139-149
Meta patterns — A means for capturing the essentials of reusable object-oriented design....Pages 150-162
Modeling object-oriented program execution....Pages 163-182
Putting objects to work: Hypermedia as the subject matter and the medium for computer-supported cooperative work....Pages 183-193
Object-oriented computations in logic programming....Pages 194-212
Deductive object databases....Pages 213-235
Declarative object-oriented programming: Inheritance, subtyping and prototyping....Pages 236-259
Constraints and object identity....Pages 260-279
Protection in the Guide object-oriented distributed system....Pages 280-298
Object location control using meta-level programming....Pages 299-319
Customising object allocation....Pages 320-343
Combining object-oriented analysis and formal description techniques....Pages 344-364
A specification language for object-oriented analysis and design....Pages 365-385
Real-time specification inheritance anomalies and real-time filters....Pages 386-407
Efficient dynamic look-up strategy for multi-methods....Pages 408-431
Taming message passing: Efficient method look-up for dynamically typed languages....Pages 432-449
Generalizing dispatching in a distributed object system....Pages 450-473
A geographic environmental modeling system: Towards an object-oriented framework....Pages 474-492
Adding digital video to an object-oriented user interface toolkit....Pages 493-512
Product configurations — An application for prototype object approach....Pages 513-534

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Database Management; Business Information Systems