彼得·帕达维茨 演绎和声明式编程。 （英语） 兹比尔0757.68077 剑桥理论计算机科学丛书. 28. 剑桥：大学出版社。六、 第279页（1992年）。 这本书提供了一个基于Horn逻辑的声明性（函数+关系）编程的个人观点，以促进程序规范、设计和执行中的正确条件。将定理证明和重写技术相结合，以在成熟的公理框架中获得适当的编程模型。最后两章通过扩展示例说明了这些技术，包括程序规范的扩展证明，以及用编程语言标准ML编写的EXPANDER证明系统代码。作者非凡的公开经验对于那些对逻辑（声明性）编程的形式化方法研究感兴趣的学生和研究人员来说非常有用。审核人：N.Curteanu（伊阿什） 引用于6文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68吨15 定理证明（演绎、解析等）（MSC2010） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68N17号 逻辑编程 03B70号 计算机科学中的逻辑 关键词：函数式编程;程序规范;证明系统 软件：毫升;扩展器 PDF格式BibTeX公司 XML格式引用 \textit{P.Padawitz}，演绎和声明式编程。剑桥：大学出版社（1992；Zbl 0757.68077） 全文： 内政部