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. (c) 2005 Elsevier B.V. All rights reserved.
weighted pushdown system interprocedural dataflow analysis generalized pushdown reachability meet-over-all-paths problem