java card; static program analysis; temporal safety;
机译:在其他Java虚拟机中管理Java Card applet的生命周期
机译:在GUI编程课程中从Java Applet启用XML存储
机译:学习Java:使用Applet的编程指令方法
机译:Java卡小程序的静态程序分析
机译:JavaScript程序的精确静态分析
机译:面向家庭的心脏风险估算器:基于Java Web的Applet
机译:Java Card小程序的静态程序分析