论文部分内容阅读
Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
Smalltalk-80的形式语义研究
【摘 要】
：
Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
【机 构】
：
国防科技大学电子计算机系,国防科技大学电子计算机系
【出 处】
：
国防科技大学学报
【发表日期】
：
1993年03期
其他文献
用１，４－二氯甲基－２，５－二甲基苯和１，４－二氯甲基－２－甲氧基－５－辛氧基苯共聚合成了一种可溶的聚对苯乙炔的衍生物，对共聚物结构进行了红外光谱，核磁共振氢谱表征。
本刊2006年第1期中《代数问题应该用代数解法》一文例1中证明不等式（2）“√x^2＋y^2-xy＋√y^2＋z^2-yz〉√x^2＋z^2-xz”时的叙述，笔者认为有不正确之处。
山东雷华塑料工程有限公司是集新型塑料包装材料研究、生产、销售及国际进出口业务于一体的多元化、跨行业集团型公司。公司自成立以来,始终坚持以市场为导向,以技术创新促发
一、"五分开"是上市公司法人治理结构的基础和核心按照<上市公司治理准则>及中国证监会有关上市公司运作的规范性文件规定,上市公司与控股股东的"五分开"是指上市公司与大股
本文针对目前我国现代物流园区发展过程中存在的资金严重短缺问题,依据风险投资的性质和特点,提出积极引进和建立确实有效的风险投资有效机制来解决资金"瓶颈"的新思路。
解几作为数形结合的典范，一直是高考命题永恒的主题．解几中的“范围题”涉及到的知识点多，条件隐蔽，在问题解决过程中，常常需要运用各种思想方法，是命题的热点之一．解决“范围题”的
ＬＥＰ的升级工程──建造更好的玻色子搜寻器ＰｅｔｅｒＲｅｎｔｏｎ著何常译大科学价值连城；几乎找不到哪里还有比ＣＥＲＮ更大的科学。ＣＥＲＮ位于日内瓦附近，它是世界上最大的粒子物理实验室。物理学家在那里建造了一座
美国著名数学教育家波利亚说过，掌握数学就意味着要善于解题．只有对数学思想、数学方法理解透彻及融会贯通时，才能提出新看法、巧解法．高考试题十分重视对数学思想方法的考查，即便