Weighted Dynamic Pushdown Networks
Weighted Dynamic Pushdown Networks
复制标题
DOI：
10.1007/978-3-642-11957-6_31
复制
发表时间：
2010-03
期刊：
影响因子：
--
通讯作者：
A. Wenner
中科院分区：
文献类型：
--
作者：
A. Wenner
我们开发了一个通用框架，用于分析具有递归过程和动态流程创建的程序。为此，我们结合联合收割机的加权下推系统（WPDS）的方法与动态下推网络（DPN）的模型。由此产生的模型，加权动态下推网络（WDPN），描述了并行运行的进程，每个进程都能够执行下推操作，这可能会产生新的进程作为副作用。与WPDS一样，转换由权重标记以携带附加信息。从技术的WPDS和DPN，我们推导出一种方法来确定满足所有路径的值之间的路径规则集的配置的WDPN。使用这种方法，我们能够在并行环境中解决基本的马尔可夫分析问题。
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems (WPDS) with the model of dynamic pushdown networks (DPN). The resulting model, weighted dynamic pushdown networks (WDPN), describes processes running in parallel, each of them being able to perform pushdown actions, that may spawn new processes as a side effect. As with WPDS, transitions are labelled by weights to carry additional information. Starting from techniques for WPDS and DPN, we derive a method to determine meet-over-all-paths values for the paths between regular sets of configurations of a WDPN. Using this method we are able to solve basic dataflow analysis problems in a parallel context.