Weighted pushdown systems and their application to interprocedural dataflow analysis
From MaRDI portal
Recommendations
Cited in
(18)- Analyzing pushdown systems with stack manipulation
- Verifying parallel programs with dynamic communication structures
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- Weighted dynamic pushdown networks
- Faster algorithms for weighted recursive state machines
- Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
- Model checking concurrent programs
- Solving Multiple Dataflow Queries Using WPDSs
- Weighted dynamic pushdown networks
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
- Verifying Parallel Programs with Dynamic Communication Structures
- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
- Weighted Pushdown Systems with Indexed Weight Domains
- Program Analysis Using Weighted Pushdown Systems
- Computer Aided Verification
- Weighted pushdown systems with indexed weight domains
- Tools and Algorithms for the Construction and Analysis of Systems
- Stack size analysis for interrupt-driven programs
This page was built for publication: Weighted pushdown systems and their application to interprocedural dataflow analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813399)
