首页 | 本学科首页   官方微博 | 高级检索  
     

PAR方法和循环不变式的范畴语义
引用本文:屈文建,薛锦云.PAR方法和循环不变式的范畴语义[J].计算机工程与应用,2009,45(8):50-54.
作者姓名:屈文建  薛锦云
作者单位:1. 南昌大学计算机信息工程学院信息管理系,南昌,33003;江西财经大学信息管理学院,南昌,330013
2. 江西师范大学计算机信息工程学院,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080
摘    要:范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循环不变式在循环算法程序的设计中至关重要。使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础。在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。

关 键 词:循环不变式  最小不动点  范畴论  PAR方法
收稿时间:2008-1-25
修稿时间:2008-5-9  

PAR method and loop invariants'category theory semantic
QU Wen-jian,XUE Jin-yun.PAR method and loop invariants''category theory semantic[J].Computer Engineering and Applications,2009,45(8):50-54.
Authors:QU Wen-jian  XUE Jin-yun
Affiliation:QU Wen-jian,XUE Jin-yun 1.Department of Information Management,College of Information , Engineering,Nanchang University,Nanchang 330031,China 2.College of Information Management,Jiangxi University of Finance , Economics,Nanchang 330013,China 3.College of Computer Information , Engineering,Jiangxi Normal University,Nanchang 330027,China 4.Key Laboratory for Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China
Abstract:Category theory promotes a high degree of confidence in design,proof and derivation of algorithmic program.It is dif-ferentiated from most other methods in that it is based on a rigorous mathematical foundation.The PAR method is a unified approach for developing efficient algorithmic programs.The loop invariant is the pivotal technology in loop program.This paper discusses a few idea and methods for applying category theory in PAR method and loop programming.Many loop invariants can be expressed in the form...
Keywords:loop invariant  least fixed point  category theory  PAR method
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与应用》浏览原始摘要信息
点击此处可从《计算机工程与应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号