第4章 编写正确的程序
代码的开发是自上而下进行的（从一般思想开始，将其完善为独立的代码行）
正确性分析则是自下而上进行的：从每个独立的代码行开始，检查它们是如何协同运作并解决问题的
初始化 保持 终止
过去开发代码时总是乱七八糟，在以后编程中和调试过程中，需要同时修正错误代码和错误的断言：总是保持对代码的正确理解
编写简单的代码通常是得到正确程序的关键
第5章 编程小事
到目前为止，你已经做了一切该做的事：通过深入挖掘定义了正确的问题，通过仔细选择算法和数据结构平衡了真正的需求，通过程序验证技术写出了优雅的伪代码，并对其正确性相当有把握。
脚手架 编码 测试 调试 计时
第6章 程序性能分析
通过几个不同层面上的改进来获得巨大的加速
算法和数据结构 算法调优 数据结构重组 代码调优 硬件
设计层面
问题定义 系统结构 算法和数据结构 代码调优 系统软件 硬件
计算机系统中最廉价、最快速且最可靠的元件是根本不存在的
如果仅需要较小的加速，就对效果最佳的层面做改进
如果需要较大的加速，就对多个层面做改进