𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Hoare's logic and VDM
✍ J. Coenen πŸ“‚ Article πŸ“… 1995 πŸ› Springer 🌐 English βš– 690 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
✍ Luo, Chenguang ;Qin, Shengchao ;Qiu, Zongyan πŸ“‚ Article πŸ“… 2008 πŸ› Higher Education Press and Springer 🌐 English βš– 262 KB