Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis
Recently, pushdown systems (PDSs) have been extended to weighted PDSs,
in which each transition is labeled with a value, and the goal is to
determine the meet-over-all-paths value (for paths that meet a certain
criterion). This paper shows how weighted PDSs yield new algorithms
for certain classes of interprocedural dataflow-analysis problems.
Download:[PS,PDF]
Somesh Jha
Last modified: Mon Mar 31 10:53:06 CST 2003