豆瓣
扫码直接下载
Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.
The Humble Programmer
有点老了。讲得很形式化和抽象。
弃读
> 编程的修炼（中英双语）
5 有用 大句哥哥 2015-11-06 16:01:40
Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.
3 有用 知食🍰分子 2020-03-16 05:56:46
The Humble Programmer
2 有用 chris 2019-01-06 18:56:57
有点老了。讲得很形式化和抽象。
1 有用 英超 2020-07-02 13:12:47
弃读