✦ LIBER ✦

An Experiment in Program Composition and Proof

✍ Scribed by K. Mani Chandy; Michel Charpentier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An experiment in parallel program design

✍ R. M. McKeag; P. Milligan 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 621 KB

An abstract programming language and cor

✍ Shaoying Liu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 554 KB

An experiment in structured programming

✍ P. Henderson; R. Snowdon 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 1022 KB

Partiality and Nondeterminacy in Program

✍ Joseph M. Morris; Alexander Bunkenburg 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 144 KB

DETAILS OF AN EXPERIMENT IN COMPOSITION

✍ W. C. HAWTHORNE 📂 Article 📅 1902 🏛 School Science and Mathematics Association 🌐 English ⚖ 106 KB

An Approach to Formal Definitions and Pr

✍ Misra, J. 📂 Article 📅 1978 🏛 IEEE 🌐 English ⚖ 959 KB