Weighted dynamic pushdown networks

DOI10.4230/DROPS.MEMICS.2009.2344MaRDI QIDQ2917315zbMATH OpenFDO

Authors Alexander Wenner

Publication date 28 September 2012

Full work available at URL https://doi.org/10.4230/DROPS.MEMICS.2009.2344

zbMATH Keywords

dataflow analysisdynamic process creationprogram analysisrecursive procedures

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Weighted dynamic pushdown networks
• Program Analysis Using Weighted Pushdown Systems
• scientific article; zbMATH DE number 2090847
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Forward analysis of dynamic network of pushdown systems is easier without order

Cited in

(5)

• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Forward analysis of dynamic network of pushdown systems is easier without order
• Weighted dynamic pushdown networks
• Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
• Weighted pushdown systems with indexed weight domains

This page was built for publication: Weighted dynamic pushdown networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2917315)