每日文摘
托尼·霍尔
程序验证的先驱
托尼·霍尔因在程序验证方面的先驱性工作而获得哥德尔奖。他的研究，如霍尔逻辑，为软件工程的形式化方法提供了理论基础。
📝 托尼·霍尔 的名言
20句名言
学习一种新编程语言的唯一方法是用它编写程序。
托尼·霍尔
程序验证的先驱
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.
托尼·霍尔
程序验证的先驱
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
