Title of article
Weighted pushdown systems and their application to interprocedural dataflow analysis
Author/Authors
Thomas Reps، نويسنده , , Stefan Schwoon، نويسنده , , Somesh Jha، نويسنده , , David Melski، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2005
Pages
58
From page
206
To page
263
Abstract
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.
Keywords
Generalized pushdown reachability , Weighted pushdown system , Meet-over-all-paths problem , Interprocedural dataflow analysis
Journal title
Science of Computer Programming
Serial Year
2005
Journal title
Science of Computer Programming
Record number
1079821
Link To Document