| PAR方法和循环不变式的范畴语义 |
| 其他题名 | par method and loop invariantscategory theory semantic
|
| 屈文建; 薛锦云
|
| 2009
|
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331
|
| 卷号 | 45期号:8页码:50-54 |
| 摘要 | 范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程. |
| 收录类别 | 其他
|
| 关键词 | 循环不变式
|
| 部门归属 | 南昌大学计算机信息工程学院信息管理系,南昌,33003;江西财经大学信息管理学院,南昌,330013;江西师范大学计算机信息工程学院,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/8006
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
屈文建,薛锦云. PAR方法和循环不变式的范畴语义[J]. 计算机工程与应用,2009,45(8):50-54.
|
| APA |
屈文建,&薛锦云.(2009).PAR方法和循环不变式的范畴语义.计算机工程与应用,45(8),50-54.
|
| MLA |
屈文建,et al."PAR方法和循环不变式的范畴语义".计算机工程与应用 45.8(2009):50-54.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论