zoukankan      html  css  js  c++  java
  • 计算机科学经典论文

    最近,在浏览别人的博客时,发现了一个论文列表,做为一个计算机专业的人来说,应该多读一些大师的作品。

    现在把这些论文记录在下面。自己慢慢学习之。From:http://blog.csdn.net/g9yuayon/article/details/1512851

    · An axiomatic basis for computer programming C. A. R. Hoare
    · Communicating Sequential Processes (CSP) C. A. R. Hoare· Call-by-name, call-by-value, and the lambda calculus Gordon Plotkin
    · Towards a theory of type structure John C. Reynolds
    · Structured Programming with go to Statements Donald E. Knuth
    · Definitional interpreters for higher-order programming languages John C. Reynolds
    · An APL Machine 1970 Philip S. Abrams
    · The Anatomy of a Large-Scale Hypertextual Web Search Engine Sergey Brin and Lawrence Page
    · No Silver Bullet: Essence and Accidents of Software Engineering Frederic P. Brooks, Jr.
    · A Mathematical Theory of Communication Claude Shannon
    · Bayesian Networks without Tears
    · A Universal Algorithm for Sequential Data Compression
    · A Relational Model of Data for Large Shared Data Banks 1970 Edgar F. Codd
    · Let's Build a Compiler 1988-1995
    · Gauging Similarity via N-Grams: Language-Independent Sorting... Marc Damashek
    · Worse Is Better Richard P. Gabriel
    · Hints on Programming Language Design C.A.R. Hoare
    · Why Functional Programming Matters John Hughes
    · On the Expressive Power of Programming Languages Matthias Felleisen
    · The Early History Of Smalltalk Alan Kay
    · Computer Programming as an Art Donald E. Knuth
    · The next 700 programming languages Peter J. Landin
    · Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960 John McCarthy
    · FORTH - A Language for Interactive Computing Charles H.Moore   
    · Teach Yourself Programming in Ten Years 2001 Peter Norvig
    · The Definition and Implementation of a Computer Language based on constraints Guy Lewis Steele Jr.
    · Growing a Language Guy Lewis Steele Jr.
    · Epigrams on Programming Alan J. Perlis
    · The Complexity of Theorem Proving Procedures Stephen A. Cook
    · Steps Toward Artificial Intelligence Marvin Minsky
    · The Original 'Lambda Papers' Guy Steele and Gerald Sussman
    · The UNIX Time-Sharing System Dennis Ritchie and Ken Thompson

  • 相关阅读:
    datum of data matrix
    data matrix with opensource
    wps出现“文档已被其他应用程序锁定,是否以只读模式打开”
    error MSB3073解决办法
    vc6下dll调试
    往客户机子上装dll时,报缺失mfc42d.dll
    进程通信编码和解码
    java后端选型20200729
    Git安装与使用
    Kitty基于Spring Boot、Spring Cloud、Vue.js、Element实现前后端分离的权限管理系统
  • 原文地址:https://www.cnblogs.com/loveyakamoz/p/2769777.html
Copyright © 2011-2022 走看看