| Smalltalk-80 的形式语义研究 |
| |
| 引用本文： | 李舟军,王兵山.Smalltalk-80 的形式语义研究[J].国防科技大学学报,1993,15(3):80-89. |
| |
| 作者姓名： | 李舟军 王兵山 |
| |
| 作者单位： | 国防科技大学电子计算机系
(李舟军)，国防科技大学电子计算机系(王兵山) |
| |
| 摘 要： | Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
|
| 关 键 词： | 面向对象程序设计 抽象文法 语义论域 语义函数 指称语义 |
| 收稿时间： | 1993/5/12 0:00:00 |
On Formal Semantics of Smalltalk-80 |
| |
| Li Zhoujun and Wang Bingshan.On Formal Semantics of Smalltalk-80[J].Journal of National University of Defense Technology,1993,15(3):80-89. |
| |
| Authors: | Li Zhoujun and Wang Bingshan |
| |
| Institution: | Department of Computer Science |
| |
| Abstract: | Smalltalk-80 is the archetypal object-oriented programming language and envi-ronment. This paper briefly introduces the basic concepts and abstract syntax ofSmalltalk-80, and then, presents a formal model of Smalltalk-80. The static and dy-namic denotational semantics of Smalltalk-80 are described through the formal model. |
| |
| Keywords: | object-oriented programming abstract syntax semantic domain semantic function denotational semantics |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
