霍尔逻辑，又称弗洛伊德-霍尔逻辑，是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
快速排序，又称分区交换排序，简称快排，一种排序算法，最早由东尼·霍尔提出。在平均状况下，排序
n
{\displaystyle n}
个项目要
O
{\displaystyle \ O}
次比较。在最坏状况下则需要
O
{\displaystyle O}
次比较，但这种状况并不常见。事实上，快速排序
Θ
{\displaystyle \Theta }
通常明显比其他算法更快，因为它的内部循环可以在大部分的架构上很有效率地达成。
在计算机科学中，快速选择是一种从无序列表找到第k小元素的选择算法。它从原理上来说与快速排序有关。与快速排序一样都由东尼·霍尔提出的，因而也被称为霍尔选择算法。 同样地，它在实际应用是一种高效的算法，具有很好的平均时间复杂度，然而最坏时间复杂度则不理想。快速选择及其变种是实际应用中最常使用的高效选择算法。
Newsqueak，一种并行性程式语言，可在视窗系统上撰写应用程序。它在1980年代末期在贝尔实验室被开发出来，设计者为罗勃·派克。在语法上，它受到C语言的影响，但它在进行平行运算时，则受到东尼·霍尔的交谈循序程式所启发。
ALGOL W，一种程式语言，为ALGOL家族的一分子。它基于尼克劳斯·维尔特与东尼·霍尔在IFIP Working Group 2.1提出的 ALGOL X草案而设计，希望能作为ALGOL 60的后继者。经过小幅度的修改，在斯坦福大学，尼克劳斯·维尔特利用IBM/360机器，实作出第一版的ALGOL W
。
在计算机科学中，快速选择是一种从无序列表找到第k小元素的选择算法。它从原理上来说与快速排序有关。与快速排序一样都由东尼·霍尔提出的，因而也被称为霍尔选择算法。 同样地，它在实际应用是一种高效的算法，具有很好的平均时间复杂度，然而最坏时间复杂度则不理想。快速选择及其变种是实际应用中最常使用的高效选择算法。
快速排序，又称分区交换排序，简称快排，一种排序算法，最早由东尼·霍尔提出。在平均状况下，排序
n
{\displaystyle n}
个项目要
O
{\displaystyle \ O}
次比较。在最坏状况下则需要
O
{\displaystyle O}
次比较，但这种状况并不常见。事实上，快速排序
Θ
{\displaystyle \Theta }
通常明显比其他算法更快，因为它的内部循环可以在大部分的架构上很有效率地达成。
快速排序，又称分区交换排序，简称快排，一种排序算法，最早由东尼·霍尔提出。在平均状况下，排序
n
{\displaystyle n}
个项目要
O
{\displaystyle \ O}
次比较。在最坏状况下则需要
O
{\displaystyle O}
次比较，但这种状况并不常见。事实上，快速排序
Θ
{\displaystyle \Theta }
通常明显比其他算法更快，因为它的内部循环可以在大部分的架构上很有效率地达成。
快速排序，又称分区交换排序，简称快排，一种排序算法，最早由东尼·霍尔提出。在平均状况下，排序
n
{\displaystyle n}
个项目要
O
{\displaystyle \ O}
次比较。在最坏状况下则需要
O
{\displaystyle O}
次比较，但这种状况并不常见。事实上，快速排序
Θ
{\displaystyle \Theta }
通常明显比其他算法更快，因为它的内部循环可以在大部分的架构上很有效率地达成。
快速排序，又称分区交换排序，简称快排，一种排序算法，最早由东尼·霍尔提出。在平均状况下，排序
n
{\displaystyle n}
个项目要
O
{\displaystyle \ O}
次比较。在最坏状况下则需要
O
{\displaystyle O}
次比较，但这种状况并不常见。事实上，快速排序
Θ
{\displaystyle \Theta }
通常明显比其他算法更快，因为它的内部循环可以在大部分的架构上很有效率地达成。
Mini wiki
