【摘 要】
:
程序集合论首先是为了解决停机问题,所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同,又定义了w[if]和w[if_break]。因此依据序型能发现循环错误。同
【基金项目】
:
仰恩大学校级课题,编号:JY20143018,培养有核心竞争力的软件本科生人才
论文部分内容阅读
程序集合论首先是为了解决停机问题,所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同,又定义了w[if]和w[if_break]。因此依据序型能发现循环错误。同时,我们发现对程序路径的判断可用if语句对程序数据集合A的划分和if语句的序型par A作为标准,而且根据par A能发现if语句中的错误。在程序的序型S与哥德尔数的比较过程中,由于哥德尔数根据变量的n元函数决定,因此我们借鉴编译原理的数据流分析,提出程序语句的数据集合分析方法,实现程序理解和程序调试。则程序集合论包括
其他文献
进入20世纪90年代以来,各国经济领域里的财务欺诈行为无论在规模上还是复杂程度上都愈发猖撅,而且变得日益国际化。纵观世界各国一系列财务欺诈行为,我们不难看出如此大面积的假账丑闻的产生,首先是在“他律”上产生问题,即现有的法律制度框架存在“缺陷”,其次是“法律的真空”使公司无限放大利己动机,以致“自律”缺失。 一、经验分析法的相关概念 经验分析法亦称因素分析法。它是一种定性分析的方法,即凭借开展
摘要:很多年前人们发现了电,能转动风扇,点亮灯,然后又发明了把电引入干家万户的电网系统,当我们拿着插头接入插座的那一刹那,就瞬间连上了工业文明。这其中的插座是一个媒介,我们往
【正】天平的示值变动性在天平的几个性能中占有重要位置,是一个突出而又复杂的难题,示值变动性在天平的修理中也是最难解决的问题,其原因是引起示值变动的因素很多,也很难判
现今无创自动测量血压计在临床医学和公众健康方面都有着十分重要的地位,它包括血压监护仪和数字电子血压计两大类产品。随着人口老龄化的日益加剧,高血压患者的日益增多,与传统
【正】缓刑是指对判处拘役、三年以下有期徒刑的犯罪分子,根据犯罪分子的犯罪情节和悔罪表现,如果暂缓执行刑罚确实不致危害社会就规定一定考验期,暂缓刑罚的执行;在考验期内
做正确的事和正确地做事。成都要做的事很多,不能急事不做,对大多数人有利的事不做,而去做形象工程。比如成都地下污水管网基本上铺到位了,这个钱花下去表面上是看不到的,到现在累
辽宁滨海大道全长1443公里,西起葫芦岛,途经锦州、盘锦、营口和大连,东至丹东,连接辽宁沿海6个市,沟通大小港口25个,连接工业园区228个、旅游景点133个。6座优美的海滨城市,一条全国
文章介绍了NCRE考试内容、科目及形式的变化,分析了NCRE和计算机基础课程教学的关系,提出了我校计算机基础课程教学的一些改革措施,并在实际应用中取得了良好的效果。
【正】甲基环戊二烯三羰基锰(MMT)是一种金属类抗暴剂,抗暴性能和汽油感应性良好,在汽油中调和加入MMT(以9-16mg/L的Mn的浓度)可使汽油的研究法辛烷值(RON)提高(1.7~2.3)个单
“对你的孩子好一些,他们将决定你去哪家养老院(Benice to your kids.They will choose your nursing home),”如今,很多美国人都喜欢拿这句话来调侃,这句话也常出现在年轻人的T恤