✦ LIBER ✦

Reasoning about faulty quantum programs

✍ Scribed by Paolo Zuliani

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Transfer Principles for Reasoning About

✍ Stephen Brookes 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 205 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

Modular reasoning about concurrent highe

✍ Birkedal, Lars 📂 Article 📅 2014 🏛 Association for Computing Machinery ⚖ 273 KB