机译:用于不变性分析的Java字节码的抽象解释
Hochschule Konstanz University of Applied Sciences, Konstanz, Germany;
Immutability; Abstract Interpretation; Bytecode;
机译:不可变性分析的Java字节码的抽象解释科学出版物
机译:在Java字节码验证中使用抽象解释为接口添加类型检查
机译:增强Java字节码验证程序的抽象解释方法
机译:结合抽象解释和模型检查来分析Java字节码的安全性
机译:Java字节码中的信息流分析和实施
机译:通过组织病理学分析在爪哇Medaka的性腺中使用除草剂Diuron作为内分泌干扰化学物质(EDC)(Oryzias javanicusBleeker 1854)
机译:摘要java字节码解释免疫性分析
机译:Java Bytecode用于运行时分析的工具