机译:验证的用于解译低级自我修改代码的抽象解释技术
Univ Rennes 1, Inria, IRISA, Campus Beaulieu, Rennes, France;
Univ Rennes 1, Inria, IRISA, Campus Beaulieu, Rennes, France;
ENS Rennes, Inria, IRISA, Campus Beaulieu, Rennes, France;
Coq; Abstract interpretation; Low-level programming language;
机译:使用约束编程和抽象解释技术验证浮点程序
机译:在Java字节码验证中使用抽象解释为接口添加类型检查
机译:增强Java字节码验证程序的抽象解释方法
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:低级代码的声音验证的工具和技术。
机译:选定的低级生物信息学操作加速技术的比较
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:二进制CFG重建自修改代码。