𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Hoare logic for linear systems

✍ Scribed by Rob Arthan, Ursula Martin, Paulo Oliva

Book ID
120739849
Publisher
Springer
Year
2011
Tongue
English
Weight
368 KB
Volume
25
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Hoare logic for Java in Isabelle/HOL
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