基于程序窗口推理的精化演算

摘要：

由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构造了一种数据精化算子,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法.

关键词：形式化软件开发方法、精化演算、数据精化、程序窗口推理

所属期刊栏目：11

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69673006;国家科技攻关项目98-780-01-07-06

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

页数：共7页

页码：1071-1077