✦ LIBER ✦

Weakly expressive models for Hoare logic

✍ Scribed by R. Hoofman

Book ID: 103683748
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 939 KB
Volume: 82
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(91)90232-q

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient Substitution in Hoare Logic Ex

Efficient Substitution in Hoare Logic Expressions

✍ Andrew W. Appel; Kedar N. Swadi; Roberto Virga 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 166 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

A Hoare logic for linear systems

✍ Rob Arthan, Ursula Martin, Paulo Oliva 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 368 KB

A decomposition rule for the hoare logic

✍ Tadao Takaoka 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 348 KB

Another incompleteness result for Hoare'

Another incompleteness result for Hoare's logic

✍ Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 563 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