Institutional Repository
| PAR方法和循环不变式的范畴语义 | |
| Alternative Title | par method and loop invariantscategory theory semantic |
| 屈文建; 薛锦云 | |
| 2009 | |
| Source | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| Volume | 45Issue:8Pages:50-54 |
| English Abstract | 范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程. |
| Indexed Type | 其他 |
| Keyword | 循环不变式 |
| Department | 南昌大学计算机信息工程学院信息管理系,南昌,33003;江西财经大学信息管理学院,南昌,330013;江西师范大学计算机信息工程学院,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8006 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| PAR方法和循环不变式的范畴语义.pdf（497KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment