The top documents tagged [abstract domain sign]

1 A simple abstract interpreter to compute Sign s.

---

215 views

1 Abstraction and Approximation via Abstract Interpretation: a systematic approach to program analysis and verification Giorgio Levi Dipartimento di Informatica,

---

217 views