Titlebook: ECOOP ‘95 - Object-Oriented Programming; 9th European Confere Mario Tokoro,Remo Pareschi Conference proceedings 1995 Springer-Verlag Berlin

幼儿

Grundlagen zur Koordination im Vertriebating type-checking rules and expressing the bounds on type parameters for polymorphism. The design of PolyTOIL is based on a careful formal definition of type-checking rules and semantics. A proof of type safety is obtained with the aid of a subject reduction theorem.

束缚

肉身

they combine the advantages but shun the disadvantages of both paradigms. A denotational semantics of an exemplar encapsulated inheritance mechanism on objects is given and compared with the standard denotational semantics of class- and object-based inheritance. This comparison confirms our claims.

敏捷

to object models provides a framework for creating, reusing and integrating complex object behaviours. Using such a framework, we show that users can develop and integrate quite different object models while retaining a high degree of abstraction and fostering meta-level component reuse.

libertine

Ingratiate

惰性气体

Objects with Multiple Most Specific Classes of context and characterize the state of an object in terms of the set of its most specific classes. Moreover, we discuss two different dispatching approaches, one allowing context-dependent behavior, the other one ensuring behavior identity.

circumvent

indubitable

预测