We use cookies to improve your experience with our site.

Indexed in:

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

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 10 Issue 3
May  1995
Turn off MathJax
Article Contents
Abstract
References
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.
shu

Denotational Semantics of a Simple Model of Eiffel

  • Institute of Computer Software; Nanjing University; Nanjing 210093;

More Information
  • Published Date: May 09, 1995
    Abstract
  • 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.
    • FullText(HTML)
    • References (3)
  • [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. ……….
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (14) PDF downloads (1614) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return