退出
我的积分:
中文文献批量获取
外文文献批量获取
罗文华;
中国刑事警察学院,辽宁沈阳110854;
抽象解释; 多态恶意程序; 特征码; 变形器; 解码器; 程序逻辑;
机译:抽象程序切片:基于抽象解释的程序切片方法
机译:通过抽象解释在逻辑程序中进行多态类型分析
机译:抽象解释框架中敏感性的理论基础
机译:基于商店的类型的势在必行的多态性作为抽象解释
机译:加合物构象多态性基于突变热点中苯并(a)py的主要加合物的研究,解释了加合物突变的复杂性。
机译:抽象的操作员:关系框架理论的回顾:关于人类语言和认知的后斯金纳时代的解释
机译:基于抽象解释的逻辑程序多态类型分析
机译:IKOs:基于抽象解释的静态分析框架(工具文件)。
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:使用虚拟解释器对恶意程序进行行为检测的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。