Weighted Pushdown Systems and Their Applications to Interprocedural Dataflow Analysis
File(s)
Date
2003Author
Reps, Thomas
Schwoon, Stefan
Jha, Somesh
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordAbstract
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.
Permanent Link
http://digital.library.wisc.edu/1793/60338Citation
TR1470