ECOOP '94 - Object-Oriented Programming

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.