✦ LIBER ✦

Lightweight Reasoning about Program Correctness

✍ Scribed by Marsha Chechik; Wei Ding

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about orchestrations of web se

✍ Alan Stewart, Joaquim Gabarro, Anthony Keenan 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 418 KB

Reasoning about faulty quantum programs

✍ Paolo Zuliani 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 292 KB

Reasoning about Programs With Effects

✍ Carolyn Talcott 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 588 KB

Formal Reasoning About Lazy-STM Programs

✍ Yong Li; Yu Zhang; Yi-Yun Chen; Ming Fu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 462 KB

Reasoning about Solids Using Constraint

✍ Gilles Pesant; Michel Boyer 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 183 KB

Transfer Principles for Reasoning About

✍ Stephen Brookes 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 205 KB