✦ LIBER ✦

Algebras for correctness of sequential computations

✍ Scribed by Guttmann, Walter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite Integer Computations: An Algebrai

✍ Sabine Glesner 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 366 KB

Algebras for iteration and infinite comp

✍ Walter Guttmann 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 247 KB

Verification system for partial correctn

✍ Masaki Murakami; Yasuyoshi Inagaki 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 599 KB

Algebraic computation of radiative corre

✍ J.A. Campbell 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 857 KB

Algebras of modal operators and partial

✍ Bernhard Möller; Georg Struth 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Formal Aspects of Correctness and Optima

✍ Regivan H. Nunes Santiago; Benjamín R. Callejas Bedregal; Benedito Melo Acióly 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 156 KB