摘要
Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式.
Dijkstra-Gires has advanced five development technologies of loop invariants,and Professor XUE Yun-jin regards it as iteration operator. In this paper,loop invariants are described in terms of set theory.
出处
《吉林化工学院学报》
CAS
2005年第3期87-88,共2页
Journal of Jilin Institute of Chemical Technology
基金
国家自然科学基金资助项目(编号:60263005)
关键词
循环不变式
集合论
数学归纳法
loop invariants
set theory
mathematical induction