normalization for the smart cards technology and smart 

cards applications, Java Card technology become the focus 

of research and development in smart cards field for its 

characteristics of platform-independent, multi-application 

and the dynamic download. Java Card Specification is a 

guidance of a programmatic document that gives guiding 

principles in buildi...

【关键词】Java

 

卡 Java

 

 

卡虚拟机 解释器 Java

 

栈 异常处理

【英文关键词】Java Card JCVM interpreter Java stack 

Exception handle

【目录】JCVM 解释器的研究与设计摘要 4-5ABSTRACT5 目录

7-9CONTENTS9-11

 

第一章 绪论 11-151.1 研究背景 11-121.2 

研究现状 12-131.3 选题意义 131.4 论文结构安排 13-15 第二章 

JCVM 模型分析 15-292.1 总体结构 162.2 数据类型 16-182.2.1 

基本类型 172.2.2 引用类型 172.2.3 抽象单元 17-182.3 运行时

数据区 18-202.3.1 上下文 182.3.2 程序计数器 182.3.3 方法区

18-192.3.4 常量池 192.3.5 堆 192.3.6 Java 栈 19-202.3.7 栈

帧 202.4 EXP 和 CAP 文件格式 20-292.4.1 EXP 文件格式 21-

222.4.2 CAP 文件格式 22-29

 

第三章 JCVM 解释器的设计 29-

463.1 JCVM 解释器 29-303.2 指令集 30-353.2.1 类型和

JCVM30-323.2.2 装载和存储指令 323.2.3 运算指令 32-333.2.4 

类型转换指令 333.2.5 操作数栈管理指令 333.2.6 控制转移指令