Extended Weighted Pushdown Systems
Abstract elided by the publisher.
Related papers
- Weighted Pushdown Systems with Indexed Weight Domains TACAS 2013
- 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
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- Improving Pushdown System Model Checking CAV 2006