[permalink] [id link]
Edsger W. Dijkstra took the position that the use of a formal language is essential to prevent the introduction of meaningless constructs, and dismissed natural language programming as " foolish ".
from
Wikipedia
Some Related Sentences
Edsger and W
The problem of mutual exclusion was first identified and solved by Edsger W. Dijkstra in his seminal 1965 paper titled: Solution of a problem in concurrent programming control.
Edsger W. Dijkstra coined the term " separation of concerns " to describe the mentality behind this modularization, which allows the programmer to reduce the complexity of the system being designed.
The term separation of concerns was probably coined by Edsger W. Dijkstra in his 1974 paper " On the role of scientific thought ".
* Predicate transformer semantics, developed by Edsger W. Dijkstra, describes the meaning of a program fragment as the function transforming a postcondition to the precondition needed to establish it.
* Edsger W. Dijkstra and Jaap Zonneveld agreed to not shave until they completed the Electrologica ALGOL 60 compiler.
The THE multiprogramming system was a computer operating system designed by a team led by Edsger W. Dijkstra, described in monographs in 1965-66 and published in 1968.
Edsger and .
Alexander's mathematical concepts and orientation were similar to Edsger Dijkstra's influential A Discipline of Programming.
Edsger Dijkstra used this problem in 1972 to illustrate the power of what he called structured programming.
Certainly major contributors to computer science such as Edsger Dijkstra and Donald Knuth, as well as the inventors of popular software such as Linus Torvalds ( Linux ), and Dennis Ritchie and Ken Thompson ( the C programming language ) are likely to be included in any such list ; see also List of programmers.
Edsger Dijkstra, in a famous 1968 letter published in the Communications of the ACM, argued that GOTO statements should be eliminated from all " higher level " programming languages.
Edsger Dijkstra invented the shunting-yard algorithm to convert infix expressions to postfix ( RPN ), so named because its operation resembles that of a railroad shunting yard.
It emerged in the 1960s, particularly from work by Böhm and Jacopini, and a famous letter, Go To Statement Considered Harmful, from Edsger Dijkstra in 1968 — and was bolstered theoretically by the structured program theorem, and practically by the emergence of languages such as ALGOL with suitably rich control structures.
When introducing the hardware description language KARL in the mid ' 1970s, Reiner Hartenstein coined the term " structured VLSI design " ( originally as " structured LSI design "), echoing Edsger Dijkstra's structured programming approach by procedure nesting to avoid chaotic spaghetti-structured programs.
Dijkstra's algorithm, conceived by Dutch computer scientist Edsger Dijkstra in 1956 and published in 1959, is a graph search algorithm that solves the single-source shortest path problem for a graph with nonnegative edge path costs, producing a shortest path tree.
Software architecture as a concept has its origins in the research of Edsger Dijkstra in 1968 and David Parnas in the early 1970s.
The algorithm was developed in 1930 by Czech mathematician Vojtěch Jarník and later independently by computer scientist Robert C. Prim in 1957 and rediscovered by Edsger Dijkstra in 1959.
Hoare in the influential book Structured Programming of 1972 by Dahl, Edsger Dijkstra and Hoare, perhaps the best-known academic book concerning software in the 1970s.
Edsger and Dijkstra
0.127 seconds.