Sciweavers

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

14

CAV
2004
Springer

favoriteEmaildiscussreport

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

13 years 10 months ago

Static Program Analysis via 3-Valued Logic

Download www.cs.wisc.edu

This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing research aimed at overcoming remaining limitations on the ability to create programanalysis algorithms fully automatically.

Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Real-time Traffic

-valued Logic | Abstract Interpretation | CAV 2004 | Formal Methods | Ongoing Research |

claim paper

Related Content

» Parametric Shape Analysis via 3Valued Logic

» Static analysis of interruptdriven programs synchronized via the priority ceiling protocol

» Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

» Finite Differencing of Logical Formulas for Static Analysis

» Logical Interpretation Static Program Analysis Using Theorem Proving

» Improving the static analysis of embedded languages via partial evaluation

» Exercises in Nonstandard Static Analysis of Hybrid Systems

» Static Analysis of Android Programs

» Static analysis of topologydependent broadcast networks

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	CAV
Authors	Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Comments (0)