✦ LIBER ✦

Imperative-program transformation by

✍ Scribed by Søren Debois

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards the verification of optimizing t

✍ Gerd Kock 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 657 KB

Imperative functional programming

✍ Reddy, U. S. 📂 Article 📅 1996 🏛 Association for Computing Machinery 🌐 English ⚖ 296 KB

Program transformation by solving equati

✍ Hong Zhu 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 516 KB

Blending imperative and relational progr

✍ Budd, T.A. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 926 KB

On-demand Evaluation by Program Transfor

✍ María Alpuente; Santiago Escobar; Salvador Lucas 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 298 KB

About classical logic and imperative pro

✍ Jean-Louis Krivine 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 500 KB