Operational semantics of the Java Card Virtual Machine

DOI10.1016/J.JLAP.2003.07.003MaRDI QIDQ1881664zbMATH OpenOpenAlexFDO

Authors 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

Java CardSemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1848380
• scientific article; zbMATH DE number 1692947
• Implementation of Java card virtual machine
• scientific article; zbMATH DE number 2086505
• Algebraic Methodology and Software Technology

Cites work

• scientific article; zbMATH DE number 1692947 (Why is no real title available?)
• scientific article; zbMATH DE number 2086505 (Why is no real title available?)
• scientific article; zbMATH DE number 1848380 (Why is no real title available?)
• scientific article; zbMATH DE number 2090143 (Why is no real title available?)
• A B model for ensuring soundness of a large subset of the Java card virtual machine
• Isabelle/HOL. A proof assistant for higher-order logic
• The B-Book

Cited in

(2)

• Extracting a data flow analyser in constructive logic
• scientific article; zbMATH DE number 1848380 (Why is no real title available?)

Describes a project that uses

Uses Software

• LETOS
• Coq

This page was built for publication: Operational semantics of the Java Card Virtual Machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1881664)