Operational semantics of the Java Card Virtual Machine

DOI10.1016/j.jlap.2003.07.003zbMath1073.68673OpenAlexW2116590474MaRDI QIDQ1881664

Igor A. Siveroni

Publication date: 14 October 2004

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2003.07.003

zbMATH Keywords

SemanticsJava Card

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Extracting a data flow analyser in constructive logic

Uses Software

• Coq
• LETOS

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• A B model for ensuring soundness of a large subset of the Java card virtual machine
• The B-Book
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item