Solving Multiple Dataflow Queries Using WPDSs

DOI10.1007/978-3-540-69166-2_7zbMath1149.68354OpenAlexW1769779070MaRDI QIDQ3522064

Akash Lal, Thomas W. 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)

Related Items (1)

Solving Multiple Dataflow Queries Using WPDSs

Cites Work

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

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