Weighted Dynamic Pushdown Networks

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). Weighted dynamic pushdown networks (WDPN) describe processes running in parallel. Each process may perform pushdown actions and spawn new processes. Transitions are labelled by weights to carry additional information. We derive a method to determine meet-over-all-paths values for the paths from a starting configuration to a regular set of configurations of a WDPN.

• Type: Conference
• Year: 2010
• Where: ESOP
• Authors: Alexander Wenner
• Keywords: Dynamic Pushdown Networks, ESOP 2010, Programming Languages, Pushdown Actions, Weighted Pushdown Systems