Weighted pushdown systems and their application to interprocedural dataflow analysis
Weighted pushdown systems and their application to interprocedural dataflow analysis
复制标题
DOI：
10.1016/j.scico.2005.02.009
复制
发表时间：
2003-06
期刊：
影响因子：
--
通讯作者：
T. Reps;Stefan Schwoon;S. Jha
中科院分区：
文献类型：
--
作者：
T. Reps;Stefan Schwoon;S. Jha
最近，推下系统（pds）被扩展为加权pds，其中每个转换都被标记为一个值，目标是确定满足所有路径的值（对于满足某个标准的路径）。本文展示了加权pds如何为某些程序间数据流分析问题产生新的算法。
Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-all-paths value (for paths that meet a certain criterion). This paper shows how weighted PDSs yield new algorithms for certain classes of interprocedural dataflow-analysis problems.