%0 Journal Article
%T ON DENOTATIONAL SEMANTICS OF SMALLTALK-80<br>Smalltalk－80的指称语义研究
%A Li Zhoujun
%A Wang Bingshan
%A <br>李舟军
%A 王兵山
%J 软件学报
%D 1995
%I 
%X 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.
%K Object-oriented programming
%K formal definition and theory
%K denotational semantics<br>面向对象程序设计
%K 形式定义和理论
%K 指称语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=70A28F439DBD9A0AD2419291AC08A51C&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=DF92D298D3FF1E6E&sid=44FDB9366EDDFA2B&eid=A22854835F81B3F8&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=5