卡罗尔·摩根;P.H.B.加德纳。 通过计算优化数据。 （英语） Zbl 0699.68029号 Acta信息。 27，No.6，481-503（1990）。 摘要：数据细化是在程序中用一种数据类型系统地替换另一种数据。通常，新数据类型比旧数据类型效率更高，但可能更复杂；在这种情况下，数据细化的目的是使程序构建从更抽象到更具体的公式。程序构造的一个最新趋势是根据其规范计算程序；这与证明给定程序满足某种规范形成了对比。我们研究这种趋势在多大程度上可以应用于数据细化。 引用于20文件 MSC公司： 68第05页 数据结构 68号01 软件理论的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：数据细化;数据类型;规范 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}和\textit{P.H.B.Gardiner}，《学报》第27期，第6期，第481--503页（1990年；Zbl 0699.68029） 全文： 内政部