摘要： 从Jao的Programming Musing看到的：Babar Kazar整理了一堆经典论文。Jao强烈建议每个严肃的程序员读每篇论文，说它们都或多或少有意思。粗粗扫了一下，很多论文都没读过。挑了些俺多少知道一点的介绍。·An axiomatic basis for computer programmingC. A. R. HoareTony Hoare名下的公理化语义（Axiomatic Semantics）。著名的Hoare Triples, P{C}Q,就是从这里来的。论文不长，双列6页。前辈们就是这样的，6页纸就能开宗立派。不像俺，6页纸连介绍部分都写不周全。哪位老大想知道 阅读全文