Posted by 
By Susan Graham and Robert Ashenhurst (Edited and Introduction by)
Read or Download ACM Turing Award Lectures : The First Twenty Years : 1966 to 1985 (ACM Press Anthology Series) PDF
Similar computer science books
Designed to give a breadth first assurance of the sphere of computing device technological know-how.
Every one variation of advent to facts Compression has extensively been thought of the easiest advent and reference textual content at the artwork and technological know-how of knowledge compression, and the fourth version maintains during this culture. info compression innovations and know-how are ever-evolving with new functions in picture, speech, textual content, audio, and video.
Pcs as parts: ideas of Embedded Computing process layout, 3e, provides crucial wisdom on embedded platforms expertise and methods. up to date for today's embedded structures layout tools, this version gains new examples together with electronic sign processing, multimedia, and cyber-physical structures.
Computation and Storage in the Cloud: Understanding the Trade-Offs
Computation and garage within the Cloud is the 1st finished and systematic paintings investigating the problem of computation and garage trade-off within the cloud so as to lessen the general program expense. clinical functions are typically computation and knowledge in depth, the place advanced computation initiatives take many years for execution and the generated datasets are usually terabytes or petabytes in measurement.
Extra info for ACM Turing Award Lectures : The First Twenty Years : 1966 to 1985 (ACM Press Anthology Series)
Sample text
On the contrary: the programmer should let correctness proof and program grow hand in hand. Argument three is essentially based on the following observation. If one first asks oneself what the structure of a convincing proof 26 EDSGER W. DIJKSTRA would be and, having found this, then constructs a program satisfying this proof's requirements, then these correctness concerns turn out to be a very effective heuristic guidance. By definition this approach is only applicable when we restrict ourselves to intellectually manageable programs, but it provides us with effective means for finding a satisfactory one among these.
But if I start to analyze the thinking habits of myself and of my fellow human beings, I come, whether I like it or not, to a completely different conclusion, viz. that the tools we are trying to use and the language or notation we are using to express or record our thoughts are the major factors determining that we can think or express at all! The analysis of the influence that The Humble Programmer 27 programming languages have on the thinking habits of their users, and the recognition that, by now, brainpower is by far our scarcest resource, these together give us a new collection of yardsticks for comparing the relative merits of various programming languages.
As a matter of fact, I think that we have learned so much that within a few years programming can be an activity vastly different from what it has been up till now, so different that we had better prepare ourselves for the shock. Let me sketch for you one of the possible futures. At first sight, this vision of programming in perhaps already the near future may strike you as utterly fantastic. Let me therefore also add the considerations that might lead one to the conclusion that this vision could be a very real possibility.