✦ LIBER ✦

Hoare's logic and VDM

✍ Scribed by J. Coenen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressiveness and the completeness of H

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

Another incompleteness result for Hoare'

✍ Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 563 KB

Hoare Logic and Auxiliary Variables

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

Hoare logic-based genetic programming

✍ Pei He; LiShan Kang; Colin G. Johnson; Shi Ying 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 350 KB

Two theorems about the completeness of H

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

Term rewriting and Hoare logic — Coded r

✍ Yong Sun 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 340 KB