论文部分内容阅读
在程序的过程间分析中,为保证程序语义上的正确,需要对列名变量对进行检测和处理。在本文中,我们详细地讨论了别名变量的引入及其传播方式,同时给出了一个有效的检测与处理算法。
过程间分析中别名变量对的检测与处理
【摘 要】
：
在程序的过程间分析中,为保证程序语义上的正确,需要对列名变量对进行检测和处理。在本文中,我们详细地讨论了别名变量的引入及其传播方式,同时给出了一个有效的检测与处理算
【机 构】
：
华中理工大学,华中理工大学
【出 处】
：
计算机工程与应用
【发表日期】
：
1993年3期
【基金项目】
：
国家自然科学基金资助
其他文献
本文结合作者最近完成的“中小火力发电厂管理信息系统”工程,提出了在管理信息系统的开发中,将“瀑布模型”和“快速原型”相结合的实现方案;对系统实现中若干关键技术,如可
本文介绍一个多媒体视频图象采集印刷系统的设计，着重讨论了系统的核。Ｃ部件采集卡的设计。系统的研制成功为电视、报纸两种媒介实现了完美的结合和资源共享。为多媒体新闻出版
据作者在福建三明市调查,尺蠖1年发生3代,各代幼虫危害盛期分别在5月下旬至6月下旬、7月下旬至8月中旬、9月中旬至11月上旬,老熟幼虫在树冠附近松软、潮湿的土壤或石块,堰根
企业是市场经济的主体,其发展的好坏直接影响到一国或地区的经济发展水平.而企业的发展与科技密不可分,因此,本文通过熵值法对全国企业科技投入与产出水平进行分析、排序,从
世纪之交,随着经济的快速发展,环境问题日益突出,以林业为主体的生态环境建设越来越引起全社会的广泛关注.1997年8月,江泽民书记、李鹏委员长专门对此作了重要批示,党的十五
目前,我国广大农村地区的留守儿童面临监护缺失的困境,严重阻碍了儿童的健康成长,致使农村留守儿童逐渐沦为现代社会发展过程中的“较不利者”。由于主客观因素致使这些“较