Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CAV
2005
Springer

favoriteEmaildiscussreport

110views Hardware» more CAV 2005»

Extended Weighted Pushdown Systems

13 years 10 months ago

Extended Weighted Pushdown Systems

Download www.cs.wisc.edu

Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataﬂow analysis to answer “stack-qualiﬁed queries”, which answer the question “what dataﬂow 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-qualiﬁed queries in the presence of local variables as well.

Akash Lal, Thomas W. Reps, Gogul Balakrishnan

Real-time Traffic

CAV 2005 | Formal Methods | Local Variables | Stack-qualiﬁed Queries | Weighted-pushdown Systems |

claim paper

Related Content

» Conditional weighted pushdown systems and applications

» Weighted Dynamic Pushdown Networks

» Pushdown Module Checking with Imperfect Information

» Program Analysis Using Weighted Pushdown Systems

» Beyond Regular Model Checking

» OpenNWA A NestedWord Automaton Library

» Model Checking x86 Executables with CodeSurferx86 and WPDS

» Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order

» Undecidability Results for Bisimilarity on Prefix Rewrite Systems

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CAV
Authors	Akash Lal, Thomas W. Reps, Gogul Balakrishnan

Comments (0)