✦ LIBER ✦

Hoare Logic and Auxiliary Variables

✍ Scribed by Thomas Kleymann

Book ID: 105845122
Publisher: Springer
Year: 1999
Tongue: English
Weight: 199 KB
Volume: 11
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650050057

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hoare's logic and VDM

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

Auxiliary variables in partial correctne

Auxiliary variables in partial correctness programming logics

✍ E. Robert McCurley 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 350 KB

Term rewriting and Hoare logic — Coded r

Term rewriting and Hoare logic — Coded rewriting

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

Expressiveness and the completeness of H

Expressiveness and the completeness of Hoare's logic

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

Hoare logic for Java in Isabelle/HOL

✍ David von Oheimb 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 386 KB

## Abstract This article presents a Hoare‐style calculus for a substantial subset of Java Card, which we call Java$^{\ell ight}$. In particular, the language includes side‐effecting expressions, mutual recursion, dynamic method binding, full exception handling, and static class initialization. The

Verifying BPEL-like programs with Hoare

Verifying BPEL-like programs with Hoare logic

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