每日文摘
每日教程
生活就像海洋,只有意志坚强的人,才能到达彼岸。
每日文摘
每日教程
首页
名言
文案
人物
标签
著作
推荐
搜索
—— 请按键盘
空白键
开始游戏 ——
托尼·霍尔
程序验证的先驱
托尼·霍尔因在程序验证方面的先驱性工作而获得哥德尔奖。他的研究,如霍尔逻辑,为软件工程的形式化方法提供了理论基础。
学习一种新编程语言的唯一方法是用它编写程序。
The only way to learn a new programming language is by writing programs in it.
托尼·霍尔
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.
托尼·霍尔
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.
托尼·霍尔
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 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 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.
托尼·霍尔
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.
托尼·霍尔
Inside every large program is a small program struggling to get out.
在每个大型程序内部,都有一个试图挣脱出来的小程序。
托尼·霍尔
简洁是可靠性的前提。
Simplicity is prerequisite for reliability.
托尼·霍尔
Simplicity is prerequisite for reliability.
简洁是可靠性的前提。
托尼·霍尔
可靠性的代价是追求极致的简洁。
The price of reliability is the pursuit of the utmost simplicity.
托尼·霍尔
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.
托尼·霍尔
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.
有两种构建软件设计的方式:一种方式是让它简单到明显没有缺陷,另一种方式是让它复杂到没有明显的缺陷。
托尼·霍尔