Operational semantics of the Java Card Virtual Machine

Igor A. Siveroni

doi:10.1016/j.jlap.2003.07.003

Operational semantics of the Java Card Virtual Machine

Igor A. Siveroni

Producción científica: Contribución a una revista › Artículo › revisión exhaustiva

14 Citas (Scopus)

Resumen

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.

Idioma original	Inglés
Páginas (desde-hasta)	3-25
Número de páginas	23
Publicación	Journal of Logic and Algebraic Programming
Volumen	58
N.º	1-2
DOI	https://doi.org/10.1016/j.jlap.2003.07.003
Estado	Publicada - ene. 2004
Publicado de forma externa	Sí

Acceder al documento

10.1016/j.jlap.2003.07.003

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

@article{5157a2d7228a4334af02345ae3bb7906,

title = "Operational semantics of the Java Card Virtual Machine",

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.",

keywords = "Java Card, Semantics",

author = "Siveroni, {Igor A.}",

year = "2004",

month = jan,

doi = "10.1016/j.jlap.2003.07.003",

language = "English",

volume = "58",

pages = "3--25",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

number = "1-2",

}

TY - JOUR

T1 - Operational semantics of the Java Card Virtual Machine

AU - Siveroni, Igor A.

PY - 2004/1

Y1 - 2004/1

N2 - 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.

AB - 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.

KW - Java Card

KW - Semantics

UR - http://www.scopus.com/inward/record.url?scp=0346971008&partnerID=8YFLogxK

U2 - 10.1016/j.jlap.2003.07.003

DO - 10.1016/j.jlap.2003.07.003

M3 - Article

AN - SCOPUS:0346971008

SN - 1567-8326

VL - 58

SP - 3

EP - 25

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 1-2

ER -

Operational semantics of the Java Card Virtual Machine

Resumen

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto