Solving Multiple Dataflow Queries Using WPDSs

DOI10.1007/978-3-540-69166-2_7MaRDI QIDQ3522064zbMATH OpenOpenAlexFDO

Authors Akash Lal, Thomas Reps

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 2090847
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Weighted dynamic pushdown networks
• Faster algorithms for weighted recursive state machines

Cites work

• A Fast and Usually Linear Algorithm for Global Flow Analysis
• A generic approach to the static analysis of concurrent programs with procedures
• Compiler Construction
• Computer Aided Verification
• Fast Algorithms for Solving Path Problems
• Improving Pushdown System Model Checking
• Logic Programming
• Precise interprocedural dataflow analysis with applications to constant propagation
• Precise interprocedural dataflow analysis with applications to constant propagation
• Program Analysis Using Weighted Pushdown Systems
• Program derivation by fixed point computation
• Solving Multiple Dataflow Queries Using WPDSs
• Weighted pushdown systems and their application to interprocedural dataflow analysis

Cited in

(2)

• Solving Multiple Dataflow Queries Using WPDSs
• Efficient interprocedural data-flow analysis using treedepth and treewidth

This page was built for publication: Solving Multiple Dataflow Queries Using WPDSs

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