✦ LIBER ✦

Reasoning about Programs With Effects

✍ Scribed by Carolyn Talcott

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about faulty quantum programs

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

Formal Reasoning About Lazy-STM Programs

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

Transfer Principles for Reasoning About

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

Representing and reasoning about concurr

✍ Renwei Li; Luís Moniz Pereira 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 675 KB

Lightweight Reasoning about Program Corr

✍ Marsha Chechik; Wei Ding 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 316 KB

Reasoning about plan revision in BDI age

✍ Natasha Alechina; Mehdi Dastani; Brian Logan; John-Jules Ch. Meyer 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 381 KB