I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis

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