论文部分内容阅读
Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．
Smalltalk－80的指称语义研究
【摘 要】
：
Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．
【机 构】
：
长沙工学院计算机系
【出 处】
：
软件学报
【发表日期】
：
1995年07期
【基金项目】
：
国家高技术计划和国防科技预研基金
其他文献
我国监狱和罪犯改造工作,从不规范到逐步规范,取得了举世瞩目的成绩,《监狱法》的颁布标志着我国监狱建设进入了法治化轨道。随着保障罪犯权利呼声的高涨,如何从保障罪犯权利
20多年来,广西大厂锡多金属矿田开展过多种方法的物探找矿工作,高精度磁法勘探是其中主要方法之一。文章通过分析高精度磁法勘探在大厂矿田的找矿效果,试图说明在大厂矿田已
通过一种新型的NaClO／NaClO2复合吸收剂，在小试级别的喷淋塔装置内进行同时脱硫脱硝试验研究．通过考察各种工艺运行参数对脱除效率的影响，确定了NaClO／NaClO2复合吸收液同时脱硫脱
随着铁路的高速发展,建设了大量的旅客车站,尤其新建了一批铁路大型客站,这些客站在安全方面表现出许多新特点和复杂性。基于当代铁路旅客车站在建设和使用过程中在安全方面
利用自组装成膜技术在钛合金基片表面制备了稀土改性双层羧基化石墨烯复合薄膜,采用接触角测量仪测量薄膜表面的接触角,采用扫描电子显微镜观察薄膜表面的微观形貌,并利用UMT
武宣县盘龙铅锌矿位于大瑶山西侧铅锌多金属成矿带南段,产于下泥盆统上伦白云岩层间破碎带中,是广西近年来初步探明的重要铅锌矿床之一。文章在分析研究矿床地质背景、构造特
基于重新划分的三角形网格简化方法能自动生成多细节层次模型，它的基本思想是：根据三角形网格的局部几何和拓扑特征将一定数量的点分布到原网格上，生成一个中间网格，移去中间网格
矿源层是成矿作用的物质基础和必备条件。文章通过总结广西铅锌矿在各地层各地区的丰度值及已有矿床的资料 ,认为泥盆系、奥陶系、寒武系是广西铅锌矿的矿源层 ,并分析了矿质