三九宝宝网宝宝教育学龄段教育

如何理解基于CFLreachability的过程间分析

02月12日 编辑 39baobao.com

[如何理解文化产业政策与法规的本质]第一,完善文化产业发展的金融支持政策。加大金融业支持文化产业的力度,推动文化产业与金融业的对接,是培育新的经济增长点的需要。完善文化产业发展的金融支持政策,就要以风险分...+阅读

context-free languages因为有那个栈,所以可以用来识别括号匹配的问题。说得更具体一点就是能配对。程序分析中有许多问题需要解决这个配对的问题,比如interprocedural analysis需要call和return配对,指针分析需要load和store配对。这些需要配对的问题就可以描述成CFL-reachability problem。

关于CFL-Reachability问题本身,Thomas Reps写有一篇文章:Program Analysis via Graph Reachability。

该文包含CFL-Reachability的定义、性质、例子、解法。还给出4个能描述成CFL-reachability

problem的程序分析问题(interprocedural data-flow analysis, slicing, shape

analysis, flow-insensitive points-to analysis)。题主想要的答案就在里边。

把interprocedural

analysis转化成CFL-reachability problem的一个好处是,可以使一部分满足特定性质的interprocedural

data-flow problem,以不那么高的成本获得full

context-sensitivity。详情请见Reps等人95年发表于POPL的经典论文Precise Interprocedural Dataflow Analysis via Graph Reachability。

以下为关联文档:

小学英语阅读理解练习题字要少十、 阅读短文,判断下列句子是否与短文内容相符,相符的请在题前的括号内打√,不相符请的括号内打*。(每题2分,共10 分) Amy is my best friend. She's a nice girl. She's ten. Sh...

Solaris的发展过程简介Sun操作系统版本发展的时间顺序如下: 1971年,第一个UNIX版本发布。1982年,Sun选择UNIX操作系统用于其第一个工作站。1983年,SunOS 1.0发布。1984年,Sun发明NFS技术。1985年,SunOS...

如何理解县域义务教育均衡发展县域义务教育均衡发展现状和对策 一、调研目的、意义 “教育是民族振兴的基石,教育公平是社会公平的重要基础”。教育工作涉及每一个家庭,关系着广大人民群众的根本利益。在建...

如何理解我国财政支出结构存在的问题及优化思路我国财政支出结构存在的问题: 1、财政职能界定不清,经济建设支出比重偏高 自改革开放以来,我国财政体制改革不断深化,但是旧有的高度集中的财政体制仍然在思想上被保留了下来,在...

在教育过程中作为母亲需要具备哪些品质一、具备科学的喂养知识 一个孩子在婴儿时期的哺乳,以及以后的喂养,都由母亲负责,正确科学的喂养方法对孩子今后的健康也是起非常重要作用的。在孩子生长发育的过程中,丰富的、...

求内存发展史我要从SDRAM到DDR2的详细过程内存发展史 Wikipedia,自由的百科全书 在了解内存的发展之前,我们应该先解释一下几个常用词汇,这将有助于我们加强对内存的理解。RAM就是Random Access Memory(随机存贮器)的缩写...

如何设计数学教学过程备课要确定好教学目标, 除了双基以外,还要注重:(1)每节课都要注重对学生的学习兴趣、习惯、方法的培养目标,落实这一主要目标,比教学生掌握知识更为重要。(2)每一节课都要重视数学知...

求一篇初三化学实验报告有具体过程一.物质与氧气的反应:(1)单质与氧气的反应: 1. 镁在氧气中燃烧:2Mg + O2 点燃 2MgO 2. 铁在氧气中燃烧:3Fe + 2O2 点燃 Fe3O4 3. 铜在氧气中受热:2Cu + O2 加热 2CuO 4. 铝在氧气中...

贝氏弧线的物理过程及受力分析1.贝克汉姆在助跑的速度和出球的力度方面还存在一定的不足,由于贝克汉姆助跑的距离不长,而且助跑的步幅少,助跑的速度明显不如国外其他优秀选手。 2.贝克汉姆在助跑的最后一步...

推荐阅读
图文推荐