Smalltalk-80的形式语义研究  

On Formal Semantics of Smalltalk—80

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

机构地区：[1]国防科技大学电子计算机系

出　　处：《国防科技大学学报》1993年第3期80-89,共10页Journal of National University of Defense Technology

摘　　要：Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。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.

关 键 词：面向对象 程序设计 SMALLTALK-80 

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