✦ LIBER ✦

Efficient Substitution in Hoare Logic Expressions

✍ Scribed by Andrew W. Appel; Kedar N. Swadi; Roberto Virga

Book ID: 108498388
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 166 KB
Volume: 41
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80872-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Weakly expressive models for Hoare logic

✍ R. Hoofman 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 939 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

Some questions about expressiveness and

Some questions about expressiveness and relative completeness in Hoare's logic

✍ Mario Rodriguez Artalejo 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 996 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

Hoare logic-based genetic programming

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

SUBSTITUTION IN LOGIC

✍ Francis C. Russell 📂 Article 📅 1905 🏛 Oxford University Press 🌐 English ⚖ 220 KB