License
When quoting this document, please refer to the following
DOI: 10.4230/DROPS.MEMICS.2009.2344
URN: urn:nbn:de:0030-drops-23440
URL: http://drops.dagstuhl.de/opus/volltexte/2009/2344/
Go to the corresponding Portal


Wenner, Alexander

Weighted Dynamic Pushdown Networks

pdf-format:
Document 1.pdf (433 KB)


Abstract

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.

BibTeX - Entry

@InProceedings{wenner:OASIcs:2009:2344,
  author =	{Alexander Wenner},
  title =	{{Weighted Dynamic Pushdown Networks}},
  booktitle =	{Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
  pages =	{112--119},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-15-6},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{13},
  editor =	{Petr Hlinen{\'y} and V{\'a}clav Maty{\'a}{\v{s}} and Tom{\'a}{\v{s}} Vojnar},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/2344},
  URN =		{urn:nbn:de:0030-drops-23440},
  doi =		{http://dx.doi.org/10.4230/DROPS.MEMICS.2009.2344},
  annote =	{Keywords: Program analysis, recursive procedures, dynamic process creation, dataflow analysis}
}

Keywords: Program analysis, recursive procedures, dynamic process creation, dataflow analysis
Seminar: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Issue Date: 2009
Date of publication: 15.12.2009


DROPS-Home | Fulltext Search | Imprint Published by LZI