有研究才有发展，有发展才有可能更好的处理好软件发展"瓶颈"问题,梦想是有逻辑基础的，勇于革新的霍尔，在国际软件理论界产生深远重大影响，无愧图灵奖的桂冠，解决了很多前沿性理论问题。

Tony Hoare

Zero Defect Programming:The Impossible Dream

Tony Hoare
Principal Researcher
Microsoft Corporation

zero defect software(PPT)

I introduce the idea that programs can be delivered without error, and describe some of the scientific research which pursues this goal.