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.

(Click here to access the paper: PostScript, PDF, (c) Springer-Verlag.)