Książki

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.

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

Beyond objects.- Should superclasses be abstract?.- Roles and dynamic subclasses: A modal logic approach.- Methods as assertions.- Abstracting process-to-function relations in concurrent object-oriented applications.- Typed concurrent objects.- Atomic object composition.- Patterns generate architectures.- Meta patterns - A means for capturing the essentials of reusable object-oriented design.- Modeling object-oriented program execution.- Putting objects to work: Hypermedia as the subject matter and the medium for computer-supported cooperative work.- Object-oriented computations in logic programming.- Deductive object databases.- Declarative object-oriented programming: Inheritance, subtyping and prototyping.- Constraints and object identity.- Protection in the Guide object-oriented distributed system.- Object location control using meta-level programming.- Customising object allocation.- Combining object-oriented analysis and formal description techniques.- A specification language for object-oriented analysis and design.- Real-time specification inheritance anomalies and real-time filters.- Efficient dynamic look-up strategy for multi-methods.- Taming message passing: Efficient method look-up for dynamically typed languages.- Generalizing dispatching in a distributed object system.- A geographic environmental modeling system: Towards an object-oriented framework.- Adding digital video to an object-oriented user interface toolkit.- Product configurations - An application for prototype object approach.