| Smalltalk－80的指称语义研究 |
| |
| 引用本文： | 李舟军,王兵山. Smalltalk－80的指称语义研究[J]. 软件学报, 1995, 6(7): 385-390 |
| |
| 作者姓名： | 李舟军 王兵山 |
| |
| 作者单位： | 长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073 |
| |
| 基金项目： | 本课题得到国家高技术计划和国防科技预研基金的资助. |
| |
| 摘 要： | Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．
|
| 关 键 词： | 面向对象程序设计 形式定义和理论 指称语义 |
| 收稿时间： | 1993-05-26 |
| 修稿时间： | 1994-01-03 |
ON DENOTATIONAL SEMANTICS OF SMALLTALK-80 |
| |
| Li Zhoujun and Wang Bingshan. ON DENOTATIONAL SEMANTICS OF SMALLTALK-80[J]. Journal of Software, 1995, 6(7): 385-390 |
| |
| Authors: | Li Zhoujun and Wang Bingshan |
| |
| Abstract: | Smalltalk-80 is the archetypal object-oriented programming language and environment. This paper briefly introduces a formal model of Smalltalk-80. The static and dynamic denotational semantics of Smalltalk-80 are described through the formal model. |
| |
| Keywords: | Object-oriented programming formal definition and theory denotational semantics. |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
