We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Qu Yuzhong, Wang Zhijian, Xu Jiafu. Denotational Semantics of a Simple Model of Eiffel[J]. Journal of Computer Science and Technology, 1995, 10(3): 214-226.
Citation: Qu Yuzhong, Wang Zhijian, Xu Jiafu. Denotational Semantics of a Simple Model of Eiffel[J]. Journal of Computer Science and Technology, 1995, 10(3): 214-226.

Denotational Semantics of a Simple Model of Eiffel

More Information
  • Published Date: May 09, 1995
  • 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.
  • [1]
    Cardelli.L. A semantics of multiple inheritance. LNCS 173, 1984.
    [2]
    Cardelli.L, Wegner.P. On understanding type, data abstraction, polymorphism. Computing Surveys, 1985,17(4).
    [3]
    Wolczko.M. Semantics of smalltalk-80. In Proc.of ECOOP'87, LNCS 276, 1987. ……….

Catalog

    Article views (14) PDF downloads (1614) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return