✦ LIBER ✦

Hoare logic-based genetic programming

✍ Scribed by Pei He; LiShan Kang; Colin G. Johnson; Shi Ying

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ‘Hoare logic’ of concurrent programs

✍ Leslie Lamport 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 864 KB

Verifying BPEL-like programs with Hoare

✍ Luo, Chenguang ;Qin, Shengchao ;Qiu, Zongyan 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 262 KB

Hoare's logic for programming languages

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB

Set based logic programming

✍ H. A. Blair; V. W. Marek; J. B. Remmel 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

Hoare Logic and Auxiliary Variables

✍ Thomas Kleymann 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 199 KB

Hoare's logic and VDM

✍ J. Coenen 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 690 KB