PAR方法和循环不变式的范畴语义

• 作者: 屈文建 薛锦云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 循环不变式 最小不动点 范畴论 PAR方法
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 研究、探讨
• 页码范围: 50-54
• 页数: 5页
• 分类号: TP311
• 字数: 7059字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.08.016

摘要

范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学计算机信息工程学院	77	745	15.0	23.0
5	屈文建	南昌大学计算机信息工程学院信息管理系	25	125	6.0	10.0