Titlebook: ECOOP ‘91 European Conference on Object-Oriented Programming; Geneva, Switzerland, Pierre America Conference proceedings 1991 Springer-Verl

SUGAR

Modeling the C++ object model,lternatives are discussed and evaluated, which reveal anomalies in the C++ language. We conclude by characterizing those aspects of the C++ object model that distinguish C++ from other object systems.

拱形面包

An object-oriented logic language for modular system specification,icity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user‘s needs.

Meditative

含沙射影

Inheritance in object oriented Z,it characterises . as a technique for the hierarchical classification of objects. Thus derivation in Z is a basis for reusing existing specification modules. Subtyping inheritance is the basis for considering the substitutability of one class for another.

淡紫色花