%0 Journal Article
%T Smalltalk－80的指称语义研究
%A 李舟军
%A 王兵山
%J -
%D 1995
%X Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义
%K 面向对象程序设计 形式定义和理论 指称语义
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950701&flag=1