Universite Rennes 1, IRISA, Inria;
Universite Rennes 1, IRISA, Inria;
ENS Rennes, IRISA, Inria;
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:使用约束编程和抽象解释技术验证浮点程序
机译:在Java字节码验证中使用抽象解释为接口添加类型检查
机译:验证了拆卸低级自修改代码的抽象解释技巧
机译:低级代码的声音验证的工具和技术。
机译:选定的低级生物信息学操作加速技术的比较
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:二进制CFG重建自修改代码。