语法分析树相关论文
由于基于Web的数据库应用技术的成熟，它的市场需求越来越大，软件开发公司也希望通过提高项目的开发速度以增加市场占有率，传统的开发......
针对形式化程序验证中的并行调度问题，提出了基于依赖集的算法。通过引入依赖图和依赖集概念，以形式化方式描述程序语句间的依赖关系......
标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法。针对标记算法检测大规模公式存在的效率问题，提出一种可用于验证大规模C......
该文根据'863'项目'基于知识的箱体CAPP系统'开发经验,提出了一种实用的产生式规则表示和检查方法.通过在规则的......
集成电路测试系统时代广泛使用的测试方法是:集成电路测试系统读取测试向量,对被测芯片引脚施加输入激励,测试被测芯片引脚输出响......
《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译......
提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分......
针对传统的编程题自动评分方法对存在个别语法错误的学生考试程序只能给出零分、不符合卷面笔试时教师手工阅卷习惯的问题,提出了......
