Operational semantics of the Java Card Virtual Machine
type: Item
instance of: scholarly article
title: Operational semantics of the Java Card Virtual Machine
zbMATH Open document ID: 1073.68673
author: Igor A. Siveroni
published in: The Journal of Logic and Algebraic Programming
publication date: 2004-10-14T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 2107868
zbMATH Keywords: Java Card
zbMATH Keywords: Semantics
describes a project that uses: LETOS
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.jlap.2003.07.003
OpenAlex ID: W2116590474
cites work: The B-Book
cites work: Q4736986
cites work: Q2763680
cites work: Q4808836
cites work: Q4785549
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: A B model for ensuring soundness of a large subset of the Java card virtual machine
DOI: 10.1016/J.JLAP.2003.07.003
description: scientific article; zbMATH DE number 2107868