Abstract
We present the operational semantics of Carmel, a language that models the Java Card Virtual Machine Language. We define a small-step relation between program configurations, including rules for exception handling, array objects and subroutines. We also include the basic structures needed to model object ownership and the Java Card firewall.
| Original language | English |
|---|---|
| Pages (from-to) | 3-25 |
| Number of pages | 23 |
| Journal | Journal of Logic and Algebraic Programming |
| Volume | 58 |
| Issue number | 1-2 |
| DOIs | |
| State | Published - Jan 2004 |
| Externally published | Yes |
Keywords
- Java Card
- Semantics