37 documents on Computer Science

An axiomatic basis for computer programming

Http://www.spatial.maine.edu /~ Worboys/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. Renault

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 ages

Ftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz

John C. Renault

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 (cost classic Lisp papers)

Http://www.pipeline.com /~ Hbaker1/

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 /~ Maratb/readings/NoSilverBullet.html

Frederic P. Brooks, Jr.

A Mathematical Theory of Communication

Http://www.unil.ch/webdav/site/ling/shared/ElementStatText/Shannon1948.pdf

Clude Shannon

Communication Theory of Secrecy Systems

Http://www.cs.ucla.edu /~ Jkong/research/security/shannon1949133

Clude Shannon

Bayesian Networks without Tears

Http://www.cs.ubc.ca /~ Murphyk/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 /~ Junyang/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 /~ Necula/cs263/handouts/hoarehints.pdf

C. A.R. Hoare

Why Functional Programming Matters

Http://www.math.chalmers.se /~ Rjmh/Papers/whyfp.pdf

John Hughes

On the Expressive Power of Programming ages

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

Kenth 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 /~ Luke/misc/knuth-turingaward.pdf

Donald E. Knuth

The next 700 programming versions

Http://www.cs.utah.edu /~ Wilson/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 /~ Bolo/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 1990 s

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 /~ Minsky/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 /~ Rivest/rsaper.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

Source: http://gzjsgdsb.blog.163.com/blog/static/2401730220100195050652/

Http://www.cnblogs.com/skyseraph/