托马斯·库恩在「科学革命的结构」中提出过这么一个当时让我很惊讶的观点：常规科学不过是致力于求解当前的某一知识领域中留下来的谜题，并非以创新为目标；它的目的不在事实或理论的新颖性。既然如此，一个不以创新... 查看全部>>
怎样证明一个程序是正确的？这是一个普遍被忽略的问题。这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能... 查看全部>>
书评 (查看全部)
对《Concepts, Techniques, and Models of Computer Programming》这本书的评价 2017-04-21
托马斯·库恩在「科学革命的结构」中提出过这么一个当时让我很惊讶的观点：常规科学不过是致力于求解当前的某一知识领域中留下来的谜题，并非以创新为目标；它的目的不在事实或理论的新颖性。既然如此，一个不以创新... 查看全部>>
对《A Discipline of Programming》这本书的评价 2017-03-28
怎样证明一个程序是正确的？这是一个普遍被忽略的问题。这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能... 查看全部>>