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