Denotational Semantics of a Simple Model of Eiffel

Qu Yuzhong,Wang Zhijian,Xu Jiafu
DOI: https://doi.org/10.1007/bf02943489
1995-01-01
Abstract:A simple abstract model of Eiffel is introduced, and its denotational semantics is defined using VDM style. A static analysis approach is presented to treat multiple inheritance and renaming mechanism. Within the framework of denotational semantics introduced in this paper, the key features of Eiffel, such as identification, classification, multiple inheritance, polymorphism and dynamic binding, can be adequately characterized.
What problem does this paper attempt to address?