Reference: Thomas Reps, Stefan Schwoon, and Somesh Jha. Weighted pushdown systems and their application to interprocedural dataflow analysis. Technical Report TR-1470, Computer Sciences Department, University of Wisconsin, February 2003. Suggested BibTeX entry: @techreport{RSJ03b,     author = {Thomas Reps and Stefan Schwoon and Somesh Jha},     institution = {Computer Sciences Department, University of Wisconsin},     month = {February},     number = {TR-1470},     title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},     year = {2003} }

GZipped PostScript (261 kB) See www.fmi.uni-stuttgart.de ... Conference version, Journal version