论文部分内容阅读
安全而又精确的值范围分析对编译器优化至关重要．系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定叉、分析和完整的正确性证明．与一般的值范围分析方法不同，该框架不仅包括抽象解释，还包括与之对应的具体解释，以及相应的正确性证明．
一种基于抽象解释和通用单调数据流框架的值范围分析方法
【摘 要】
：
安全而又精确的值范围分析对编译器优化至关重要．系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定叉、分析和完整的正确性证明．与一般的值范围
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机研究与发展
【发表日期】
：
2006年11期
【基金项目】
：
国家自然科学基金项目（60303913）,国家“九七三”重点基础研究发展规划基金项目（2005CB321804）
其他文献
采用聚丙烯酰胺梯度凝胶电泳的方法，对人工选育池蝶蚌的3个世代的8种组织（心、肝、肾、外套膜、性腺、鳃、斧足、闭壳肌）的酯酶（EST）和苹果酸脱氢酶（MDH）进行研究，比较了不同组织的相
一九七九年夏,在岳阳市城陵矶粮管站基建工地的一座宋代土坑墓中,出土了一枚铜印。据赵立恒同志调查,墓中没有发现其他遗物。铜印,方形,长竹节柱柄,通高11.5、宽9.3、厚0.8厘
零树编码技术已经被MPEG-4国际标准所采用.多位平面并行的EZW零树编码电路方案为实时应用中的零树编码提供了一条高效的技术途径.它具体包括一种简单、巧妙的预处理器,对不同
人们用藻类和农作物为材料对光与植物生长和光合作用的关系进行了大量的研究。 但是对木本植物,特别是对乔木的研究很少。油松(Piuns Tabulaeformis Carr.)是我国北方的主要造林树种之一,对它的光合生理生态学特性的研究鲜有报道。为了解它的光合性状和生长与光的关系,并为育苗和抚育等林业生产措施提供理论基础。本文就不同光质光量条件下生长的油松苗的光合性状和生长特性进行了研究。
平江县安定区位于县城东南十七公里,四面环山,为东西宽约2.2公里南北向长条形盆地,汩罗江的支流芦溪河由南向北蜿蜒流过,其间地势开阔平坦。1984年3月,我与县文管所的同志在
长沙马王堆汉墓,是我国考古工作中极为罕见的重要发现,墓中出土的数千件珍贵文物,对研究西汉初期的政治、经济和文化艺术都具有非常重要的价值。其中一号墓出土的黑地彩绘棺
新刑法第四百零二条规定:"行政执法人员徇私舞弊,对依法应当移交司法机关追究刑事责任的不移交,情节严重的,处三年以下有期徒刑或者拘役;造成严重后果的,处三年以上七年以下
粮食流通体制非改不可,不改不行,刻不容缓。俗话说,民以食为天。这个"天"字,足以说明粮食对于国计民生的重要性。想让占世界7%的土地养活占世界22%的人口,国家对粮食产销不可
以精子的活力为指标，对6种精子保存液在4℃和20～22℃状态下保存黄颗鱼精子的效果进行了比较研究。结果表明：添加了葡萄糖的F保存液效果最好，精子的活力和寿命保持时间最长；在4℃条
本文采用胸鳍第二支鳍骨为研究东江尖头塘鳢的年龄鉴定材料。胸鳍第二支鳍骨(远侧部)长的骨(R)与体长(L)的关系L=10.6565+54.3848R。用von Bertalanffy生长方程可表达体长、