语言:中文 | 章节:1 | 阅读:18 | 收藏:0 | 评论:0
一本关于函数式程序的实践书籍,内容涵盖程序设计,程序证明,函数式数据结构、算法及证明,语言设计、编译器实现以及可信编译验证,工业级操作系统的函数式规范与安全证明等。本书主要以Isabelle/HOL定理证明器作为工具环境。
阅读
收藏 打赏 分享 举报