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.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call