1

在尝试将 javacard cap 文件转换为类文件时，我正在寻找转换器规范。到目前为止，我在 PVS 中发现“仅”一个非常部分的正式模型。javacard vm规范详细描述了cap文件格式，但没有详细说明转换器所做的优化和操作。有几本书和资源描述了转换器如何将类转换为 cap 的某些方面，但我找不到全面的文档。Sun(Oracle) 的文档没有描述转换机制，并且 cap 文件格式规范不足以了解如何重构类文件。是否有解释和详细说明类到上限文件转换的文档？

4

1 回答 1

2

我没有找到转换器的规格，但我发现 javacard jdk3 规范化器可以用作从上限到类的转换

于 2012-02-28T10:53:33.137 回答