摘要
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.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1993年第3期80-89,共10页
Journal of National University of Defense Technology
关键词
面向对象
程序设计
SMALLTALK-80
object-oriented programming
abstract syntax
semantic domain
semantic function
denotational semantics
