✦ LIBER ✦

Formal Reasoning About Lazy-STM Programs

✍ Scribed by Yong Li; Yu Zhang; Yi-Yun Chen; Ming Fu

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

Reasoning about Programs With Effects

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

Formal reasoning about switch-level MOS

✍ Hans Eveking 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 526 KB

Transfer Principles for Reasoning About

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

Formal reasoning about dialogue properti

✍ Fabio Paterno' 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 672 KB

Lightweight Reasoning about Program Corr

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