Smalltalk－80的指称语义研究  

ON DENOTATIONAL SEMANTICS OF SMALLTALK-80

作　　者：李舟军[1] 王兵山[1] 

机构地区：[1]长沙工学院计算机系

出　　处：《软件学报》1995年第7期385-390,共6页Journal of Software

基　　金：国家高技术计划和国防科技预研基金

摘　　要：Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．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.

关 键 词：面向对象 指称语义 Smalltalk语言 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]