函数式程序设计与证明

语言：中文 | 章节：1 | 阅读：15 | 收藏：0 | 评论：0

一本关于函数式程序的实践书籍，内容涵盖程序设计，程序证明，函数式数据结构、算法及证明，语言设计、编译器实现以及可信编译验证，工业级操作系统的函数式规范与安全证明等。本书主要以Isabelle/HOL定理证明器作为工具环境。