Interprocedural dataflow analysis via graph reachability：（通过图可达性过程间数据流分析）.pdfVIP

下载本文档

29
0
约12.38万字
约 14页
2017-06-30 发布于浙江
举报

Interprocedural dataflow analysis via graph reachability：（通过图可达性过程间数据流分析）.pdf

下载本文档
关闭预览

下载本文档
收藏
分享赚钱奖
0

文本预览
常见问题

Interprocedural dataflow analysis via graph reachability：（通过图可达性过程间数据流分析）

Precise Interprocedural Dataﬂow Analysis via Graph Reachability Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡ University of Wisconsin Abstract kill” problems), which include reaching deﬁnitions, The paper shows how a large class of interprocedural available expressions, and live variables [22]. dataﬂow-analysis problems can be solve

您可能关注的文档

Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming：（改进的近似算法使用半定规划最大的削减和可满足性问题）.pdf
Improving Host Security with System Call Policies：（改善与系统调用主机安全政策）.pdf
Improvements in dioxin abatement strategies at a municipal waste management plant in Barcelona：（二恶英减排策略的改善在巴塞罗那城市垃圾管理工厂）.pdf
Improving Mobile Authentication with New AAA Protocols：（手机验证新的AAA协议的改进措施）.pdf
Improving the fisher kernel for large-scale image classification：（改善费舍尔内核对大规模图像分类）.pdf
Improving odour management and abatement performance using Olfactory GC-MS：（改善气味减轻管理和使用嗅气性能）.pdf
in accretion disks ASTRONOMY AND ASTROPHYSICS：（在吸积盘天文学和天体物理学）.pdf
Improving generalization with active learning：（改善与主动学习的泛化）.pdf
in hyper-accreting discs：（在hyper-accreting光盘）.pdf
in steady accretion disk flows：（在稳定的吸积盘流动）.pdf

Intlab - Interval Laboratory：（Intlab -间隔实验室）.pdf
Introduction Modelling approach Results Conclusions and perspectives References Marginal abatement costs of greenhouse gas：（介绍建模方法结果的结论和观点引用边际减排成本的温室气体）.pdf
Introduction to Quantum Computation：（介绍量子计算）.pdf
Introduction to Plasma Physics and controlled fusion, 2nd edition：（介绍等离子体物理学和受控核聚变,第二版）.pdf
Intrusion Detection using Sequences of System Calls：（使用系统调用序列的入侵检测）.pdf
Intracortical pathways determine breadth of subthreshold frequency receptive fields in primary auditory cortex：（皮层通路确定宽度阈下的频率在初级听觉皮层接受字段）.pdf
Investigation and Cleanup and Abatement of Discharges under Water Code：（调查和清理和治理下的排放水的代码）.pdf
Investing for the long run when returns are predictable：（投资长期的回报是可以预测的）.pdf
Investor Protection and Corporate Governance：（投资者保护与公司治理）.pdf
Investor Protection and Corporate Valuation：（投资者保护和企业估值）.pdf

文档评论（0）

1亿VIP精品文档

更多 >