从QUICKSORT、CASE到程序设计语言程序设计语言的公理化

查尔斯·霍尔

                   ---从QUICKSORT、CASE到程序设计语言程序设计语言的公理化

    学过“数据结构”或“算法设计与分析”的人都知道著名的快速排序算法QUICKSORT；编过程序的人大概也都用过实现条件转移的最方便的语句CASE语句。但是你知道这个算法和这个语句是谁发明的吗?它们的发明者就是1990年IEEE计算机先驱奖和1980年图灵奖的获得者英国牛津大学计算机科学家查尔斯·霍尔(