zeuux-universe的帖子：

Wed Dec 19 18:24:36 CST 2007

http://www.zafar.se/bkz/Articles/ClassicCompScienceTexts

   - An axiomatic basis for computer
programming<http://www.spatial.maine.edu/%7Eworboys/processes/hoare%20axiomatic.pdf>
   C. A. R. Hoare

   - Communicating Sequential Processes (CSP) <http://www.usingcsp.com/>
   C. A. R. Hoare

   - Call-by-name, call-by-value, and the lambda
calculus<http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf>
   Gordon Plotkin

   - Towards a theory of type
structure<ftp://ftp.cs.cmu.edu/user/jcr/theotypestr.pdf>
   John C. Reynolds

   - Structured Programming with go to
Statements<http://pplab.snu.ac.kr/courses/adv_pl05/papers/p261-knuth.pdf>
   Donald E. Knuth

   - Definitional interpreters for higher-order programming
languages<ftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz>
   John C. Reynolds

   - An APL Machine
1970<http://www.slac.stanford.edu/pubs/slacreports/slac-r-114.html>
   Philip S. Abrams

   - Henry Baker's Archive of Research Papers (many classic Lisp
papers)<http://www.pipeline.com/%7Ehbaker1/>
   Henry Baker

   - The Anatomy of a Large-Scale Hypertextual Web Search
Engine<http://www-db.stanford.edu/pub/papers/google.pdf>
   Sergey Brin and Lawrence Page

   - No Silver Bullet: Essence and Accidents of Software
Engineering<http://www-inst.eecs.berkeley.edu/%7Emaratb/readings/NoSilverBullet.html>
   Frederic P. Brooks, Jr.

   - A Mathematical Theory of
Communication<http://www.unil.ch/webdav/site/ling/shared/ElementStatText/Shannon1948.pdf>
   Claude Shannon

   - Communication Theory of Secrecy
Systems<http://www.cs.ucla.edu/%7Ejkong/research/security/shannon1949.pdf>
   Claude Shannon

   - Bayesian Networks without
Tears<http://www.cs.ubc.ca/%7Emurphyk/Bayes/Charniak_91.pdf>
   Eugene Charniak

   - A Universal Algorithm for Sequential Data
Compression<http://www.stanford.edu/class/ee398a/resources/ziv:77-SDC.pdf>
   Jacob Ziv and Abraham Lempel

   - A Relational Model of Data for Large Shared Data Banks
1970<http://www.cs.duke.edu/%7Ejunyang/cps216/papers/codd-1970.pdf>
   Edgar F. Codd

   - Let's Build a Compiler 1988-1995<http://compilers.iecc.com/crenshaw/>
   Jack Crenshaw

   - Gauging Similarity via N-Grams: Language-Independent
Sorting...<http://gnowledge.sourceforge.net/damashek-ngrams.pdf>
   Marc Damashek

   - Worse Is Better <http://www.dreamsongs.com/WorseIsBetter.html>
   Richard P. Gabriel

   - Hints on Programming Language
Design<http://www.cs.berkeley.edu/%7Enecula/cs263/handouts/hoarehints.pdf>
   C.A.R. Hoare

   - Why Functional Programming
Matters<http://www.math.chalmers.se/%7Erjmh/Papers/whyfp.pdf>
   John Hughes

   - On the Expressive Power of Programming
Languages<http://www.ccs.neu.edu/scheme/pubs/scp91-felleisen.ps.gz>
   Matthias Felleisen

   - The Design of
APL<http://www.research.ibm.com/journal/rd/174/ibmrd1704F.pdf>
   Kenneth E. Iverson

   - The Early History Of
Smalltalk<http://www.metaobject.com/papers/Smallhistory.pdf>
   Alan Kay

   - Computer Programming as an
Art<http://fresh.homeunix.net/%7Eluke/misc/knuth-turingaward.pdf>
   Donald E. Knuth

   - The next 700 programming
languages<http://www.cs.utah.edu/%7Ewilson/compilers/old/papers/p157-landin.pdf>
   Peter J. Landin

   - Recursive Functions of Symbolic Expressions and their Computation by
   Machine (Part I) 1960<http://www-formal.stanford.edu/jmc/recursive.html>
   John McCarthy

   - FORTH - A Language for Interactive
Computing<http://www.cs.wisc.edu/%7Ebolo/shipyard/4th_1970/4th_1970.html>
   Charles H.Moore

   - Teach Yourself Programming in Ten Years
2001<http://www.norvig.com/21-days.html>
   Peter Norvig

   - Parenthetically Speaking, a collection of essays from the
1990s<http://www.nhplace.com/kent/PS/About-PS.html>
   Kent M. Pitman

   - The Definition and Implementation of a Computer Language based on
   constraints<ftp://publications.ai.mit.edu/ai-publications/500-999/AITR-595.ps>
   Guy Lewis Steele Jr.

   - Growing a Language<http://www.cs.umbc.edu/331/resources/papers/gls-grow-lang.pdf>
   Guy Lewis Steele Jr.

   - Epigrams on
Programming<http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html>
   Alan J. Perlis

   - The Complexity of Theorem Proving
Procedures<http://www.cs.helsinki.fi/u/gionis/cc05/cook.pdf>
   Stephen A. Cook

   - Steps Toward Artificial
Intelligence<http://web.media.mit.edu/%7Eminsky/papers/steps.html>
   Marvin Minsky

   - The Original 'Lambda Papers'<http://library.readscheme.org/page1.html>
   Guy Steele and Gerald Sussman

   - A Method for Obtaining Digital Signatures and Public-Key
   Cryptosystems <http://theory.lcs.mit.edu/%7Erivest/rsapaper.pdf>
   R.L. Rivest, A. Shamir, and L. Adleman

   - The UNIX Time-Sharing
System<http://cm.bell-labs.com/cm/cs/who/dmr/cacm.html>
   Dennis Ritchie and Ken Thompson
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.zeuux.org/pipermail/zeuux-universe/attachments/20071219/1ce29332/attachment.html

标题：[zeuux-universe] Classic Texts in Computer Science