计算机科学经典论文

《计算机科学经典论文》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、计算机科学经典论文【转-留着以后抽闲读】从Jao的ProgrammingMusing看到的：BabarKazar整理了一堆经典论文。Jao强烈建议每个严肃的程序员读每篇论文，说它们都或多或少有意思。粗粗扫了一下，很多论文都没读过。挑了些俺多少知道一点的介绍。·AnaxiomaticbasisforcomputerprogrammingC.A.R.HoareTonyHoare名下的公理化语义（AxiomaticSemantics）。著名的HoareTriples,P{C}Q,就是从这里来的。论文不长，双列6页。前辈们就是这样的，6页纸就能开宗立派。不像俺，6页纸连介绍部分都写不周全。

2、哪位老大想知道怎么证明程序正确。前置条件，不变条件，后置条件的妙用，可以用这篇论文开牙。·CommunicatingSequentialProcesses(CSP)C.A.R.HoareHoare,又见Hoare。其实也正常。牛人之牛，就在于成就深广。链接的文档应该不算论文，而算专著。260页。从1985年推出到现在20多年过去，这本书的引用率在CS历史上排名第三，可见其影响之深。对并发编程有强烈兴趣的老大可以去钻研一把。我没读过。·Call-by-name,call-by-value,andthelambdacalculusGordonPlotkin没读过。只见LtU介绍过。Go

3、rdon老大这篇论文的要点之一是要想顺利地对程序进行推导，就需要有合适的lambda理论。想深入理解call-by-name，call-by-value，和lambda算子的老大们可以上了。·JohnC.Reynolds号称经典中的经典。不过也没读过。类型系统一直是编程语言研发的热点，也是非常有趣的方向――类型系统的编程好比让机器证明一系列定理。Reynolds在论文里讨论了什么才是正确的类型结构，和句法正确必须独立于任何具体的类型表达形式，并且给出了带类型的lambda算子的一种扩展，允许他描述用户自定义类型和多态函数。满篇公式，有勇气去读的老大要有心理准备。·Structure

4、dProgrammingwithgotoStatementsDonaldE.Knuth这篇论文详细结构化编程时讨论了什么时候用goto，什么时候不用goto。高爷爷精细务实的态度非常值得学习。高老太爷用了一辈子goto(MIX和MMIX程序里没了Goto怎么玩儿得转嗫？)，岂能轻易被Dijkstra对goto的批评吓退？他仔细探讨了几种不同的程序，考察goto用在那些程序里的利弊。最后得出结论，goto在某些程序里仍然高效实用。虽然论文是30年前的，但里面的分析手法和利用goto的优化技术至今可用。·JohnC.Reynolds这篇文章俺喜欢。”Metacircular”这个性感的

5、概念就是在这篇论文里首次提出的。想深入了解用一门语言写出的解释器定义这门语言自身的神奇理念，这篇论文是必读材料。有兴趣的老大可以先读SICP的第四章。·AnAPLMachine1970PhilipS.Abrams只知道APL是门有历史意义的语言。顺便说一句，APL这个名字太土了。AProgrammingLanguage＝＝APL。象什么话嘛。·TheAnatomyofaLarge-ScaleHypertextualWebSearchEngineSergeyBrinandLawrencePage网络是个大的矩阵(transitionprobabilitymatrixofMarkovC

6、hain)。网页的声誉(pagerank)就是这个巨大矩阵的principleeigenvector的某个元素。嗯，反正我只有佩服的份儿。·NoSilverBullet:EssenceandAccidentsofSoftwareEngineeringFredericP.Brooks,Jr.地球银都知道。不用俺多嘴了。·AMathematicalTheoryofCommunicationClaudeShannonBell实验室当年辉煌一时。出了名的叫人做A，结果发明了B。香农老大就是其中杰出代表。香农进了Bell实验室后，居然没人吩咐他干嘛。香农老大转念一想，自己喜欢数学，Bell的

7、生意尽在通讯，干嘛不看看把数学应用到通讯上有什么结果呢？于是1948年这篇论文问世乐。搞通讯的人崩溃乐。现代信息理论就诞生乐。·BayesianNetworkswithoutTears贝叶斯理论热了好几年了。估计还会继续热下去。现在信息越来越多，我们已经审美疲劳。大家渴望的不是信息，而是知识。靠个人的力量把信息提炼成知识太慢，我们需要机器的帮忙。机器学习不热都难，而贝叶斯理论在机器学习里有很好的应用。这篇文章行为浅显，可以轻松读完。对了，那个人人喝骂的微软回形针的智能