| Eiffel语言的语义 |
| |
| 引用本文： | 李师贤,阮文江. Eiffel语言的语义[J]. 软件学报, 1995, 6(1): 17-25 |
| |
| 作者姓名： | 李师贤 阮文江 |
| |
| 作者单位： | 中山大学软件研究所,广州,510275;中山大学计算中心,广州,510275 |
| |
| 摘 要： | 本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境）,然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理,我们采用了ＶＤＭ的“出口”机制．
|
| 关 键 词： | Eiffel OOPL VDM 指语语义 |
| 收稿时间： | 1992-01-13 |
| 修稿时间： | 1992-12-14 |
SEMANTICS OF EIFFEL |
| |
| Li Shixian and Ruan Wenjiang. SEMANTICS OF EIFFEL[J]. Journal of Software, 1995, 6(1): 17-25 |
| |
| Authors: | Li Shixian and Ruan Wenjiang |
| |
| 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. |
| |
| Keywords: | Eiffel OOPL VDM denotational semantics. |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
