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.

• Type: Conference
• Year: 2004
• Where: CAV
• Authors: Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
• Keywords: -valued Logic, Abstract Interpretation, CAV 2004, Formal Methods, Ongoing Research