| 引用本文: | 李舟军,王兵山.Smalltalk-80 的形式语义研究.[J].国防科技大学学报,1993,15(3):80-89.[点击复制] |
| Li Zhoujun,Wang Bingshan.On Formal Semantics of Smalltalk-80[J].Journal of National University of Defense Technology,1993,15(3):80-89[点击复制] |
|
| |
|
|
| 本文已被：浏览 5815次 下载 1046次 |
| Smalltalk-80 的形式语义研究 |
| 李舟军, 王兵山 |
|
(电子计算机系)
|
| 摘要: |
| Smalltalk-80 是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80 的基本概念和抽象文法，给出了其形式模型，并基于该模型描述了 Smalltalk-80 的静态指称语义和动态指称语义。 |
| 关键词: 面向对象程序设计，抽象文法，语义论域，语义函数，指称语义 |
| DOI： |
| 投稿日期：1993-05-12 |
| 基金项目: |
|
| On Formal Semantics of Smalltalk-80 |
| Li Zhoujun, Wang Bingshan |
|
(Department of Computer Science)
|
| Abstract: |
| Smalltalk-80 is the archetypal object-oriented programming language and environment. This paper briefly introduces the basic concepts and abstract syntax of Smalltalk-80，and then，presents 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,abstract syntax,semantic domain,semantic function,denotational semantics |
|
|
