Titlebook: ECOOP ‘92. European Conference on Object-Oriented Programming; Utrecht, The Netherl Ole Lehrmann Madsen Conference proceedings 1992 Springe

Fillet,Filet

Object-oriented multi-methods in Cecil, object can be encapsulated by being accessible only to the closely-connected multi-methods. We are exploring this object-oriented view of multi-methods in the context of a new programming language named Cecil.

节省

Encapsulate

Integrating constraints with an object-oriented language,ed object model, multi-methods, and constraint constructors to integrate cleanly the encapsulation and abstraction of a state-of-the-art object-oriented language with the declarative aspects of constraints.

Galactogogue

On unifying relational and object-oriented database systems,d experiment with database systems that support an object-oriented data model or that extend the relational data model with some object-oriented facilities. These activities have been fueled by the emergence of a broad spectrum of database applications which relational database systems cannot suppor

乐章

词根词缀法

Aggrandize

Aggregation in a behavior oriented object model,n two kinds of aggregation, static and dynamic aggregation. Static aggregation means that the composition of objects is described using predicates over constant properties. Dynamic aggregation means that we may alter the composition of objects by invoking special operations (.) that are implicitly d

秘传

Reasoning and refinement in object-oriented specification languages,lopment styles for the facilitation of validation and verification of implementations against specifications in this language. We give inference rules for showing that certain forms of inheritance lead to refinement, and for showing that refinements are preserved by constructs such as . of an operat

frenzy

Combining object-oriented and logic paradigms: A modal logic programming approach,efly studied and categorized, and a sketch of a new solution has been proposed which tries to capture the essence of OO in terms of modal logic, and which could be implemented as a modal logic programming system..The proposal is based on the belief that two orthogonal dimensions — object hierarchy a

训诫