R.S.伯德。;吉本斯，J。;琼斯，G。 模式匹配算法的形式化推导。 （英语） Zbl 0679.68011号 科学。计算。程序。 12，第2期，93-104（1989）. Knuth-Morris-Pratt模式匹配算法的功能版本是使用Bird列表演算正式推导出来的。详细解释了推导过程，讨论了各种求解策略，论文内容完备。审核人：L.布里姆 引用于7文件 MSC公司： 68号01 软件理论中的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） 68瓦99 计算机科学中的算法 关键词：函数式编程;程序推导;模式匹配;列表 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}等人，科学。计算。程序。12，第2号，93-104（1989年；Zbl 0679.68011） 全文： 内政部