经典文献 |
John Backus |
Can
Programming Be Liberated from the von Neumann Style?, 1978
|
Edsger W. Dijkstra |
Go To Statement
Considered Harmful, 1968
Notes On Structured Programming, 1972
Guarded Command, Nondeterminacy and
Formal Derivation of Programs, 1975
In Pursuit of Simplicity: the
manuscripts of Edsger W. Dijkstra, U of Texas
|
Robert W. Floyd |
Assigning Meaning to Programs
|
C.A.R. Hoare |
Hints on Programming Language Design, 1973
An Axiomatic Basis for Computer Programming, 1969
|
John Hughes |
Why Functional Programming Matters
|
Kenneth E. Iverson |
Programming notation in systems design
|
Alan Kay |
The Early History Of Smalltalk
|
Brian W. Kernighan |
Why Pascal
is Not My Favorite Programming Language
|
A. Koenig |
An
anecdote about ML type inference, USENIX Symposium on Very High Level
Languages,1994.
|
Peter J. Landin |
The next 700 programming languages, 1965
|
John McCarthy |
Recursive
Functions of Symbolic Expressions and their Computation by Machine (Part
I), 1960
Lisp: Notes on its Past and Future 1980
History of Lisp
Towards a Mathematical Science of Computation
|
Aleph One |
Smashing the stack for fun and profit, Phrack 7, 49 (1996)
|
D. Parnas |
On the criteria to be used in
decomposing systems into modules, Communications of the ACM, 15,
12 (1972) 1053-1058.
|
John C. Reynolds |
Definitional Interpreters for Higher-Order Programming Languages, 1972
Definitional Interpreters Revisited, 1998
|
Jean E. Sammet |
Programming Languages: History and Future, 1972
|
Christopher Strachey |
Foundamental Concepts of Programming Languages, 1981
|
Guy Lewis Steele Jr. |
Growing a Language, 1998
|
Guy Lewis Steele Jr. & Richard P. Gabriel |
The Evolution of Lisp
|
Larry Tessler |
The Smalltalk
Environment, BYTE, August 1996.
|
Niklaus Wirth |
On the Design of Programming Languages
Program development by stepwise
refinement, Communications of the ACM, 14, 4 (1971)
221--227.
|
Philip Wadler |
The Essence of Functional Programming, 1992
|
Peter Wegner |
Programming Languages -- The First 25 Years, 1976
|