HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 状态合并论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
程序状态条件合并中变量隐式关联分析方法第2331-2342页
关键词: 路径分析  状态合并  依赖条件  符号执行  约束求解  
2018年第10期 《计算机研究与发展》
形状分析符号执行引擎中的状态合并第209-215页
关键词: 符号执行  状态合并  求解代价  内存模型  状态抽象  
2017年第02期 《计算机科学》
基于前序关系的非确定型有穷自动机极小化算法第34-38页
关键词: 非确定型有穷自动机  前序关系  状态合并  极小化  
2010年第07期 《山东大学学报·理学版》
期刊导航