Correctness of Java card method lookup via logical relations

DOI10.1016/S0304-3975(01)00138-4MaRDI QIDQ1603654zbMATH OpenFDO

Authors R. Smith

Publication date 15 July 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

optimisationJavaoperational semanticssmart cardscompiler correctness

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1629941
• Specification and runtime verification of Java card programs
• Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
• scientific article; zbMATH DE number 1706329
• scientific article; zbMATH DE number 1706331
• scientific article; zbMATH DE number 2043539

Cited in

(1)

• scientific article; zbMATH DE number 1629941 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Correctness of Java card method lookup via logical relations

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