###
DOI:
:1995.6(7):385-390

Smalltalk-80的指称语义研究
李舟军,王兵山
(长沙工学院计算机系,长沙,410073)
ON DENOTATIONAL SEMANTICS OF SMALLTALK-80
Li Zhoujun,Wang Bingshan
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2548   Download 2338
Received:May 26, 1993    Revised:January 03, 1994
> 中文摘要: Smalltalk—80是原型的面向对象程序设计语言和环境.本文简要地给出了Smalltalk-80的形式模型,并基于该模型描述了Smalltalk—80的静态和动态指称语义.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本课题得到国家高技术计划和国防科技预研基金的资助. 本课题得到国家高技术计划和国防科技预研基金的资助.
Foundation items:
Reference text:

李舟军,王兵山.Smalltalk-80的指称语义研究.软件学报,1995,6(7):385-390

Li Zhoujun,Wang Bingshan.ON DENOTATIONAL SEMANTICS OF SMALLTALK-80.Journal of Software,1995,6(7):385-390