Sciweavers

Share
CAV
2004
Springer

Static Program Analysis via 3-Valued Logic

11 years 5 months ago
Static Program Analysis via 3-Valued Logic
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
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
Comments (0)
books