论文部分内容阅读
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
规格说明语言Z的类型检查
【摘 要】
：
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
【机 构】
：
上海大学计算机科学系上海 201800
【出 处】
：
计算机应用与软件
【发表日期】
：
2000年02期
其他文献
一条传统的饮料罐生产线每周需要生产超过150万罐饮料,含量足以装满两个奥林匹克标准的游泳池.而一条典型的酒精饮料罐装线罐满游泳池的速度则更快.那么,就赋码环节而言,您使
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
提出一种利用视觉显著性对图像进行分割的方法。首先提取图像的底层视觉特征,从局部显著性、全局显著性和稀少性3个方面计算各特征图像中各像素的视觉显著性,得到各特征显著图;对各特征显著图进行综合,生成最终的综合显著图。然后对综合显著图进行阈值分割,得到二值图像,将二值图像与原始图像叠加,将前景和背景分离,得到图像分割结果。在多幅自然图像上进行实验验证,并给出相应的实验结果和分析。实验结果表明,该方法正确
目的掌握人群碘营养状况,为适时采取针对性防治措施和科学调整干预策略提供依据。方法根据《全国碘缺乏病监测方案》采样监测,采用WS/T 107—2006砷铈催化分光光度测定法检测
以金针菇(Flammulina velutipes)基因组序列为基础,对其SSR位点进行分析,设计16对引物对其中16个SSR位点进行标记设计,并对6个商业化的金针菇品种进行筛选。统计结果表明,金
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
2007年的第一个季度,对国内彩电企业来说,是一个并不轻松的开局。尽管不少数据都显示出对国内彩电企业的良好预期,但从部分家电卖场春节黄金周销售数据来看,情况并非想象的那