—— 请按键盘 空白键 开始游戏 ——

关于托尼·霍尔的名人名言哲理格言警句语录 - 每日文摘
托尼·霍尔 程序验证的先驱

托尼·霍尔因在程序验证方面的先驱性工作而获得哥德尔奖。他的研究,如霍尔逻辑,为软件工程的形式化方法提供了理论基础。

The only way to learn a new programming language is by writing programs in it.
学习一种新编程语言的唯一方法是用它编写程序。
The most important single aspect of software development is to be clear about what you are trying to build.
A programming language is low level when its programs require attention to the irrelevant.
当一种编程语言的程序需要关注无关的细节时,它就是低级的。
The best way to predict the future is to invent it.
预测未来的最好方法就是发明它。
The most important property of a program is whether it accomplishes the intention of its user.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。
Inside every large program is a small program struggling to get out.
在每个大型程序内部,都有一个试图挣脱出来的小程序。
Simplicity is prerequisite for reliability.
The price of reliability is the pursuit of the utmost simplicity.
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.