Study note
Program Construction
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 编程语言与函数式编程
- Source
- book.douban.com
- Vault note
library/books/compilers/Program-Construction-f2c3020128eeb450.md
Summary
从程序构造角度说明数学和逻辑为什么是程序员的基本工具，结合程序实践讲赋值公理、顺序组合、分情况讨论、不变式和界函数等构造原则。
Highlights
比一般编程技巧书更偏“如何用逻辑推导程序”，适合训练从规格、证明和构造原则出发写程序的思维。
Notes
Backhouse, Roland C.；2003-5。
Comments
Loading comments...