Weighted Pushdown Systems and Their Applications to Interprocedural Dataflow Analysis
Loading...
Files
Date
Authors
Reps, Thomas
Schwoon, Stefan
Jha, Somesh
Advisors
License
DOI
Type
Technical Report
Journal Title
Journal ISSN
Volume Title
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Grantor
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.
Description
Keywords
Related Material and Data
Citation
TR1470