The top documents tagged [new inputstream f]

1 E. Yahav School of Computer Science Tel-Aviv University Verifying Safety Properties using Separation and Heterogeneous Abstractions G. Ramalingam IBM.

---

218 views

TVLA: A System for Generating Abstract Interpreters

---

19 views

T. Lev-Ami, R. Manevich, M. Sagiv tvla TVLA: A System for Generating Abstract Interpreters A. Loginov, G. Ramalingam, E. Yahav.

---

213 views