基于语法树和程序正确性验证研究

• 作者: 周必水 李骏 沃钧军
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 程序正确性验证 语法树 XML
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 应用技术与研究
• 页码范围: 111-112,156
• 页数: 3页
• 分类号: TP3
• 字数: 2765字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2007.04.041

摘要

提出了一种新的基于语法树的程序正确性验证方法(TM方法)在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法的切实可行的解决方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	杭州电子科技大学软件学院	6	13	2.0	3.0
2	周必水	杭州电子科技大学软件学院	38	237	10.0	13.0
3	沃钧军	杭州电子科技大学软件学院	2	1	1.0	1.0