#HoareLogic

Tony Hoare 去世：一个时代的终结 核心解读 Tony Hoare 的去世不仅是一个人的离去，更是 计算机科学黄金时代的一个句号 。 历史背景 1960s：计算机科学的黄金年代 ： QuickSort（1960）：改变了排序 Hoare Logic（1969）：程序验证的基础 CSP（1978）：并发编程的理论