微信服务号

微信订阅号

2025-5-16- 22
Home > Archive>Volume 6, Issue 1, 1995 >17-25
PDF HTML XML Export Cite reminder
SEMANTICS OF EIFFEL
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • | |
  • Comments
    Abstract:

    A formal model of the Eiffel(1988) programming language is described using the denotational style. The model defines Eiffel's object model and two environments (dynamic and static) at first, and then studies semantics of Eiffel's routines. The "exit" mechanism of VDM is used for processing Eiffel's exception.

    Reference
    Related
    Cited by
Get Citation

李师贤,阮文江. Eiffel语言的语义.软件学报,1995,6(1):17-25

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:January 13,1992
  • Revised:December 14,1992
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063