互逆主义程序精化——程序精化从形式化到半自动化的发展

摘要：

Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二层单准正向证明系统为推理规则,使得程序精化从形式化发展为半自动化.

关键词： 互逆主义逻辑 程序精化 精化定理 规范 代码

作者: 周训伟 鲍泓

作者单位: 北京联合大学信息技术研究所,北京,100101 北京联合大学信息学院,北京,100101

会议类型: 国内会议

会议名称: 中国计算机学会软件工程专委会2006年年会

会议地点: 长沙

会议语种:中文

页码: 161-162

在线出版日期: 2006-11-01（万方平台首次上网日期，不代表论文的发表时间）