Javacard转换器规范
Javacard转换器规范
提问于 2012-02-24 05:30:37
在尝试将javacard cap文件转换为类文件时，我正在寻找转换器规范。到目前为止，我在PVS中“只”发现了一个非常部分的正式模型。javacard vm规范详细描述了cap文件格式，但没有详细说明转换器进行的优化和操作。有几本书和资源谁描述了一些方面的转换器如何转换类到cap，但我找不到一个全面的Oracle(documentation.Sun)的文档没有描述转换机制和cap文件格式规范不够了解如何重构一个类文件.Is有一个文件在哪里类到cap文件的转换是解释和详细的？
回答 1
Stack Overflow用户
发布于 2012-02-28 18:53:33
我没有找到转换器的规范，但我发现javacard jdk3规范化程序可以用作帽到类的转换
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/9421661
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号