引用本文: | 李舟军,王兵山.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[点击复制] |
|
|
|
本文已被:浏览 5307次 下载 1030次 |
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 |
|
|