形式化方法PAR相关论文
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算......
使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,......
