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

摘要

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