✦ LIBER ✦

A method and a language for constructing iterative programs

✍ Scribed by Jean-Pierre Finance; Jeanine Souquieres

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computer program for constructing lang

✍ Jeffrey J. Walczyk 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 291 KB

A simple axiomatic basis for programming

✍ Edsger W Dijkstra 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 893 KB

Layer - a language construction for conc

✍ Stanislaw Chrobot 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 893 KB

Free boundary optimization—A constructiv

✍ Andrew Acker 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 47 KB

Free boundary optimization—A constructiv

✍ Andrew Acker 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 707 KB

A Version of the Program Iteration Metho

✍ A. G. Chentsov 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 184 KB