Denotational Semantics of a Simple Model of Eiffel

A simple abstract model of Eiffel is introduced, and its denotational seman-tics is defined using VDM style. A static analysis approach is presented to treatmultiple inheritance and renaming mechanism. Within the framework of deno-tational semantics iatroduced in this paper, the key features of Eiffel, such asidentification, classification, multiple inheritance, polymorphism and dynamicbinding, can be adequately characterized.