| 题名: | PAR方法和循环不变式的范畴语义 |
| 其他题名: | par method and loop invariantscategory theory semantic
|
| 作者: | 屈文建
; 薛锦云
|
| 关键词: | 循环不变式
|
| 刊名: | 计算机工程与应用
|
| 发表日期: | 2009
|
| 卷: | 45, 期:8, 页:50-54 | | 收录类别: | 其他
|
| 部门归属: | 南昌大学计算机信息工程学院信息管理系,南昌,33003;江西财经大学信息管理学院,南昌,330013;江西师范大学计算机信息工程学院,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 摘要: | 范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8006
|
| Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| PAR方法和循环不变式的范畴语义.pdf（497KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
屈文建,薛锦云. PAR方法和循环不变式的范畴语义[J]. 计算机工程与应用,2009-01-01,45(8):50-54.
|
|
|
