机译:Java字节码验证:算法和形式化
INRIA Rocquencourt and Trusted Logic S.A.;
bytecode verification; java virtual machine; dataflow analysis; abstract interpretation; subroutines;
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:经过验证的Java字节码验证
机译:Java Bytecode验证用ocl为何,如何以及何时?
机译:Java卡上改进的字节码验证算法
机译:使用Z形式化Java字节码验证程序。
机译:具有形式化交叉算子的生物启发遗传算法在机器人应用中的应用
机译:Java字节码验证:算法和形式化