Sciweavers

Share
CAV
2005
Springer

Extended Weighted Pushdown Systems

10 years 1 months ago
Extended Weighted Pushdown Systems
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what dataflow values hold at a program node for a particular set of calling contexts?” The generalization, however, does not account for precise handling of local variables. Extended-weighted-pushdown systems address this issue, and provide answers to stack-qualified queries in the presence of local variables as well.
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Akash Lal, Thomas W. Reps, Gogul Balakrishnan
Comments (0)
books