从集合论的角度分析循环不变式

• 作者: 丁树良 吴文兵 杨淑群
• 来源期刊: 吉林化工学院学报
• 学科: 工学
• 关键词: 循环不变式 集合论 数学归纳法
• 年，卷（期）: 2005,（3）
• 页码范围: 87-88
• 页数: 2页
• 分类号: TP301.6
• 字数: 1669字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2853.2005.03.030

摘要

Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁树良	江西师范大学计算机信息工程学院	164	2161	25.0	40.0
2	杨淑群	福建师范大学软件学院	21	232	6.0	15.0
3	吴文兵	福建师范大学软件学院	3	0	0.0	0.0