Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
No abstract available.
Related papers
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Regularly annotated set constraints PLDI 2007
- Interprocedural Dataflow Analysis in an Executable Optimizer PLDI 1997
- Weighted Pushdown Systems with Indexed Weight Domains TACAS 2013
- Extended Weighted Pushdown Systems CAV 2005
- Weighted Pushdown Systems and Trust-Management Systems TACAS 2006
- A fixpoint calculus for local and global program flows POPL 2006
- Interprocedural Dataflow Analysis in the Presence of Large Libraries CC 2006