Masato Takeichi;Yohji阿卡玛 通过变换导出一个函数Knuth-Morris-Pratt算法。 （英文） Zbl 0764.68097号 J.信息处理。 13，No.4，522-528（1990）. 小结：我们展示了Knuth-Morris-Pratt算法的函数程序如何通过几个转换步骤从朴素算法中导出。还包括一种高效记忆的实现技术。转换背后的思想简单但新颖，并且针对函数编程；我们使用高阶函数的部分参数化和数据结构的记忆。部分参数化对应于预计算，预计算是过程编程中常见的优化技术，而存储类似于制表，它通过简单的表查找取代了昂贵的计算。为转换规则提供了数学推理。 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 关键词：程序转换;程序推导;记忆;函数式编程;部分参数化 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi}和\textit{Y.Akama}，J.Inf.过程。13，No.4，522--528（1990；Zbl 0764.68097）