Weighted Pushdown Systems with Indexed Weight Domains
Abstract elided by the publisher.
Related papers
- Extended Weighted Pushdown Systems CAV 2005
- Weighted Pushdown Systems and Trust-Management Systems TACAS 2006
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis SAS 2003
- Weighted Dynamic Pushdown Networks ESOP 2010
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl) ICFP 2026
- Weighted NetKAT: A Programming Language for Quantitative Network Verification PLDI 2026
- Up-To Techniques for Weighted Systems TACAS 2017