✦ LIBER ✦

Proving Properties of Programs by Structural Induction

✍ Scribed by Burstall, R. M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving open properties by induction

✍ Jean-Claude Raoult 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 432 KB

On proving syntactic properties of CPS p

✍ Olivier Danvy; Belmina Dzafic; Frank Pfennin 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 699 KB

The Specialization of Programs by Theore

✍ Chang, C. L.; Lee, R. C. T.; Dixon, J. K. 📂 Article 📅 1973 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 683 KB

Petri nets for proving some correctness

✍ János Szlankó 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 588 KB

Axiomatic system for proving the propert

✍ K. K. Gyachas 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 804 KB

Structure-property relationship for desc

✍ I. G. Tsygankova; S. M. Zhenodarova 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 162 KB