✦ LIBER ✦

Refining abstract interpretations

✍ Scribed by Bhargav S. Gulavani; Supratik Chakraborty; Aditya V. Nori; Sriram K. Rajamani

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refining Model Checking by Abstract Inte

✍ Patrick Cousot; Radhia Cousot 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 196 KB

Interpretational abstraction

✍ Gustaf Neumann 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 887 KB

Refining and Compressing Abstract Model

✍ Agostino Dovier; Roberto Giacobazzi; Elisa Quintarelli 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Interpretations of Interpretations

✍ Stephen William Foster 📂 Article 📅 1981 🏛 American Anthropological Association 🌐 English ⚖ 723 KB

Interpreting Abstract Interpretations in

✍ Bernd Fischer; Grigore Roşu 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 320 KB

Comparing Abstraction Refinement Algorit

✍ Dennis Dams 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 663 KB