В попытке превратить файл cap javacard в файл класса, я ищу спецификации конвертера.До сих пор я нашел «только» очень частичную формальную модель в PVS.Спецификации javacard vm подробно описывают формат файлов cap, но не детализируют оптимизацию и операции, выполняемые конвертером.Существует несколько книг и ресурсов, в которых описываются некоторые аспекты того, как конвертер преобразует класс в cap, но я не смог найти исчерпывающую документацию. Документация Sun (Oracle) не описывает механизм преобразования, и спецификации формата файла cap недостаточнопонять, как воссоздать файл класса. Есть ли документ, в котором объясняется и подробно описывается преобразование файла класса в шапку?