Program Analysis Using Weighted Pushdown Systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2090847
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- Introspective pushdown analysis of higher-order programs
- Computer Aided Verification
- Analyzing pushdown systems with stack manipulation
- Quantitative analysis of weighted transition systems
- Program analysis via satisfiability modulo path programs
- Weighted pushdown systems with indexed weight domains
Cites work
- A generic approach to the static analysis of concurrent programs with procedures
- Affine relationships among variables of a program
- Compiler Construction
- Computer Aided Verification
- Computer Aided Verification
- Graph-Based Algorithms for Boolean Function Manipulation
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1670780 (Why is no real title available?)
- scientific article; zbMATH DE number 3735091 (Why is no real title available?)
- scientific article; zbMATH DE number 3485178 (Why is no real title available?)
- scientific article; zbMATH DE number 3610766 (Why is no real title available?)
- scientific article; zbMATH DE number 1232241 (Why is no real title available?)
- scientific article; zbMATH DE number 1324833 (Why is no real title available?)
- scientific article; zbMATH DE number 2090847 (Why is no real title available?)
- Improving Pushdown System Model Checking
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Monotone data flow analysis frameworks
- PAG -- an efficient program analyzer generator
- Precise interprocedural analysis through linear algebra
- Precise interprocedural analysis using random interpretation
- Precise interprocedural dataflow analysis with applications to constant propagation
- Precise interprocedural dataflow analysis with applications to constant propagation
- Programming Languages and Systems
- Programming Languages and Systems
- Programming Languages and Systems
- Reachability analysis of pushdown automata: Application to model-checking
- Systematic design of program transformation frameworks by abstract interpretation
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Weighted pushdown systems and their application to interprocedural dataflow analysis
Cited in
(19)- Analyzing pushdown systems with stack manipulation
- A new abstraction framework for affine transformers
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- Well-structured pushdown systems
- Weighted dynamic pushdown networks
- Sound bit-precise numerical domains
- Faster algorithms for weighted recursive state machines
- Model checking procedural programs
- On the analysis of interacting pushdown systems
- Solving Multiple Dataflow Queries Using WPDSs
- Weighted dynamic pushdown networks
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
- scientific article; zbMATH DE number 2090847 (Why is no real title available?)
- Optimally Resilient Strategies in Pushdown Safety Games
- Average stack cost of Büchi pushdown automata
- Weighted Pushdown Systems with Indexed Weight Domains
- Computer Aided Verification
- Weighted pushdown systems with indexed weight domains
- Summarization for termination: No return!
This page was built for publication: Program Analysis Using Weighted Pushdown Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458821)
