论文部分内容阅读
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .
上下文敏感的过程间指针分析
【摘 要】
：
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法
【机 构】
：
复旦大学并行处理研究所!上海200433;
【出 处】
：
计算机学报
【发表日期】
：
2000年05期
【基金项目】
：
国家自然科学基金;教育部科学技术项目资助
其他文献
湖南省洪江区境内地质灾害类型主要有滑坡、不稳定斜坡、崩塌及泥石流等，地貌条件是区内发生地质灾害的重要条件，不同地貌类型、坡形、坡度以及高程的差异，导致不同规模类型地质
<正>在《触摸历史与进入五四》(北京大学出版社,2005)的"导言"中,我写下这么一段话,今天看来依然适用:人类历史上,有过许多"关键时刻",其巨大的辐射力量,对后世产生了决定性
黄土是一种典型的非饱和土,在总结前人试验研究的基础上,以甘肃省永靖县黑方台非饱和黄土为研究对象,进行两种不同的直剪试验,即:利用改进后的非饱和直剪仪对研究区不扰动黄
<正>中国古生物学会第十一次全国会员代表大会暨第27届学术年会于2013年11月15—17日在被誉为"中国恐龙之乡"的浙江东阳成功召开。来自全国各地高等院校、科研院所、能源与地
<正>中国(上海)自由贸易试验区揭牌后,各大银行相继在自贸区开设分行,2013年12月25日,为了更好适应上海自贸区建立后各类业务的快速发展,上海市质量技术监督局成立自贸试验区
<正>高希均先生说,媒体是内容为王。我十二分地赞同,也十二分地向往。对于用钱投票的读者来说,有几个不希望是一分钱一分货?只是一个小小的地球村,各家有本不同的经,有的好读
导学案是为了贯彻新课程改革所提出的培养创新型的人才,建立启发式、探究式的课堂环境,让学生学会自主学习的教育目标,在学案的基础上发展而来的教学模式,导学案重视教师导、学生学,先学后导的观念,主张将课堂的主动权交给学生,培养学生的独立思考能力和合作探究能力。本研究从建构主义学习理论,自主学习理论以及最近发展区理论出发,通过开展导学案的教育实验研究揭示了导学案教学模式对于小学生数学学习效果影响的积极意义
<正>2010年的第一天,"不确定的可能性——798及周边艺术群落青年作品展"在宋庄美术馆开幕,策展人不无忧虑地提出,在艺术园区拆迁的背景中,"我倒觉得去哪里居住是次要的,在这
法国合作农场的发展及其特点中国农业科学院农业经济研究所李先德法国农业通常被认为是个体经营的典范。但是最近二十多年以来，法国合作经营的农场发展很快。根据法国农业部的