| 互逆主义程序精化——程序精化从形式化到半自动化的发展 |
| |
| 引用本文： | 周训伟,鲍泓. 互逆主义程序精化——程序精化从形式化到半自动化的发展[J]. 计算机工程与科学, 2006, 28(Z2): 161-162 |
| |
| 作者姓名： | 周训伟 鲍泓 |
| |
| 作者单位： | 1. 北京联合大学信息技术研究所,北京,100101
2. 北京联合大学信息学院,北京,100101 |
| |
| 摘 要： | Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二层单准正向证明系统为推理规则,使得程序精化从形式化发展为半自动化.
|
| 关 键 词： | 互逆主义逻辑 程序精化 精化定理 规范 代码 |
| 文章编号： | 1007-130X(2006)A2-0161-02 |
| 修稿时间： | 2006-07-19 |
Mutually-Inversistic Program Refinement :Formal to Semiautomatic Development of the Refinement |
| |
| ZHOU Xun-wei,BAO Hong. Mutually-Inversistic Program Refinement :Formal to Semiautomatic Development of the Refinement[J]. Computer Engineering & Science, 2006, 28(Z2): 161-162 |
| |
| Authors: | ZHOU Xun-wei BAO Hong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
