摘要
Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．
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.
出处
《软件学报》
EI
CSCD
北大核心
1995年第7期385-390,共6页
Journal of Software
基金
国家高技术计划和国防科技预研基金
