Pages that link to "Item:Q2568453"
From MaRDI portal
The following pages link to Weighted pushdown systems and their application to interprocedural dataflow analysis (Q2568453):
Displaying 26 items.
- Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- Derivation tree analysis for accelerated fixed-point computation (Q549189) (← links)
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Algebraic program analysis (Q832153) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- Convergence of Newton's method over commutative semirings (Q899320) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Automated enforcement for relaxed information release with reference points (Q1616187) (← links)
- Weighted automata with storage (Q2280328) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Weighted iterated linear control (Q2422779) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- Faster Algorithms for Weighted Recursive State Machines (Q2988644) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- Solving Multiple Dataflow Queries Using WPDSs (Q3522064) (← links)
- Language Strength Reduction (Q3522077) (← links)
- Derivation Tree Analysis for Accelerated Fixed-Point Computation (Q3533020) (← links)
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (Q3617746) (← links)
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous (Q5056000) (← links)
- Average Stack Cost of Büchi Pushdown Automata (Q5136334) (← links)
- THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES (Q5247168) (← links)
- Interprocedural Analysis of Concurrent Programs Under a Context Bound (Q5458333) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)
- FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings (Q5744123) (← links)
