| Denotational Semantics of a Simple Model of Eiffel |
| |
| 作者姓名： | Qu Yuzhong Wang Zhijian Xu Jiafu |
| |
| 作者单位： | [1]InstituteofComputerSoftware,NanjingUniversity,Nanjing210093 [2]InstituteofComputerSoftware,NanjingUniver |
| |
| 摘 要： | 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.
|
| 关 键 词： | 语义学 Eiffel模型 程序设计 |
Denotational semantics of a simple model of Eiffel |
| |
| 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. |
| |
| Authors: | Yuzhong Qu Zhijian Wang Jiafu Xu |
| |
| Affiliation: | Institute of Computer Software; Nanjing University; Nanjing 210093; |
| |
| 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. |
| |
| Keywords: | Eiffel language multiple inheritance renaming static analysis semantic domains semantic functions |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
