程序集合论导引

• 作者: 林榕慧
• 来源期刊: 福建电脑
• 关键词: 语句序型 程序路径 数据集合分析 程序调试 哥德尔数 数据流分析 程序分析 并行计算
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 基金项目论文
• 页码范围: 25-27,35
• 页数: 4页
• 字数: 4536字
• 语种: 中文

摘要

程序集合论首先是为了解决停机问题，所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同，又定义了w [ if ]和w [ if_break ]。因此依据序型能发现循环错误。同时，我们发现对程序路径的判断可用if语句对程序数据集合A的划分和if语句的序型par A作为标准，而且根据parA能发现if语句中的错误。在程序的序型S与哥德尔数的比较过程中，由于哥德尔数根据变量的n元函数决定，因此我们借鉴编译原理的数据流分析，提出程序语句的数据集合分析方法，实现程序理解和程序调试。则程序集合论包括三部分，用在程序设计的全过程和软件理论研究上，有广泛应用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林榕慧	仰恩大学工程技术学院	6	2	1.0	1.0