| 摘要: |
| Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义． |
| 关键词: 面向对象程序设计 形式定义和理论 指称语义 |
| DOI： |
| 分类号: |
| 基金项目:本课题得到国家高技术计划和国防科技预研基金的资助. |
|
| ON DENOTATIONAL SEMANTICS OF SMALLTALK-80 |
|
Li Zhoujun,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. |
| Key words: Object-oriented programming formal definition and theory denotational semantics. |
