✦ LIBER ✦

An abstract programming language and correctness proofs

✍ Scribed by Shaoying Liu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correction to "An Illustration of Curren

✍ Gries, D. 📂 Article 📅 1977 🏛 IEEE 🌐 English ⚖ 168 KB

An Approach to Formal Definitions and Pr

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

MATLAB as an introductory programming la

✍ M. A. Wirth; P. Kovesi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

PEP: An interactive programming system w

✍ P. W. E. Verhelst; N. F. Verster 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 961 KB

An Experiment in Program Composition and

✍ K. Mani Chandy; Michel Charpentier 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 96 KB

An Abstract Formalization of Correct Sch

✍ Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 475 KB