A Formal Executable Semantics of the JavaCard Platform
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 302-319
- https://doi.org/10.1007/3-540-45309-1_20
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Confidentiality for mobile code: the case of a simple payment protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Approach: Integrating Object Oriented Design and Formal VerificationPublished by Springer Nature ,2000
- An Architecture for Interactive Program ProversPublished by Springer Nature ,2000
- Java PathFinder A Translator from Java to PromelaPublished by Springer Nature ,1999
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLPublished by Springer Nature ,1999
- A Programming Logic for Sequential JavaPublished by Springer Nature ,1999
- Proving Java Type SoundnessPublished by Springer Nature ,1999
- A type system for object initialization in the Java bytecode languageACM SIGPLAN Notices, 1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- Javalight is type-safe---definitelyPublished by Association for Computing Machinery (ACM) ,1998