✦ LIBER ✦

Partiality and Nondeterminacy in Program Proofs

✍ Scribed by Joseph M. Morris; Alexander Bunkenburg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Redundant proofs of non-interference in

✍ Thomas P. Murtagh 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 580 KB

Proofs and Programs

✍ Giuseppe Longo 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 174 KB

A logic covering undefinedness in progra

✍ H. Barringer; J. H. Cheng; C. B. Jones 📂 Article 📅 1984 🏛 Springer-Verlag 🌐 English ⚖ 768 KB

Program testing versus proofs of correct

✍ William E. Howden 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 675 KB

Proof method of partial correctness and

✍ Gérard Ferrand; Pierre Deransart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 951 KB

Formal polytypic programs and proofs

✍ VERBRUGGEN, WENDY; DE VRIES, EDSKO; HUGHES, ARTHUR 📂 Article 📅 2010 🏛 Cambridge University Press 🌐 English ⚖ 335 KB