PAR方法和循环不变式的范畴语义
文献类型：期刊论文
| 作者 | 屈文建 ; 薛锦云 |
| 刊名 | 计算机工程与应用
 |
| 出版日期 | 2009 |
| 卷号 | 45期号:8页码:50-54 |
| 关键词 | 循环不变式 |
| ISSN号 | 1002-8331 |
| 其他题名 | par method and loop invariantscategory theory semantic |
| 中文摘要 | 范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程. |
| 收录类别 | 其他 |
| 语种 | 中文 |
| 公开日期 | 2011-03-18 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。