【摘 要】
：
针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限
【基金项目】
：
安徽省自然科学基金（090412054）,安徽省科技攻关计划重大科技专项（08010201002）,安徽省教育厅重点项目（KJ2009A001Z）
论文部分内容阅读
针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。
其他文献
将北疆高酸原油初馏点至400℃切割成8个不同的组分,分析了各组分的酸值和芳香结构,进而研究了各馏分油-水的界面张力和不同条件下油-水界面张力的变化规律,同时考察了脱酸后
以羧甲基纤维素钠水溶液（CMC）为液相,空气为气相,研究了不同桨型组合、体系黏度、气量、桨间距、气体分布器等对搅拌过程中氧传递的影响。结果表明：在CMC体系中,下层用径向流的
提出了一种双目移动机器人实时动态目标识别与定位方法。该算法首先采用SIFT（Scale Invariant Features Transforms）算法提取目标特征，并结合双目视差特征进行目标匹配；然后通过
研究了钙基助熔剂对皖北刘桥二矿混煤（AQ007）灰熔融特征的影响,并采用XRD和红外光谱分析了钙基助熔剂添加前后不同热处理温度下AQ007煤灰的矿物组成。结果表明：1 000℃以上形成
直流伺服系统的死区和摩擦力参数往往是不可知的,而且速度估计也存在误差,如果不能较好地处理这些因素将会严重影响系统的性能。针对这些问题,提出了一种鲁棒自适应控制方法,
从灵活双效催化裂化（FDFCC）工艺特点和反应机理出发,以其工业提升管实际操作参数为基础,对该工艺的两个子反应体系——重油提升管和汽油提升管分别进行研究并提出了相应的重油1
考虑存在输入时滞情况下不确定系统的滑模控制问题，其中被控系统存在状态不确定和控制输入不确定性。通过设计一种新的积分型滑模切换面，不仅可以保证系统状态轨迹从初始状态开
分别用正癸醇及全氟辛基乙醇对超支化聚酯Boltern H20进行表面修饰,得到了两种新化合物H20-g-C10和H20-g-PFOE,并按其相对于聚丙烯腈（PAN）质量分数为1%、5%、10%的比例分别加入