<-Dijkstra-Breakthroughs

 

DIJKSTRA - BREAKTHROUGHS

Eindhoven University of Technology (1962 - 1973)

Descriptions of concepts

TH Eindhoven: chances and deceptions

 

In 1962, Edsger Dijkstra was offered a full professorship at the TH Eindhoven (Eindhoven Polytechnic). Although chairs abroad were already named Chairs in Computer Science, Dijkstra strongly opposed to this approach, mainly because of a lack of scientific substance of the profession. His chair was that of Professor of Mathematics. His students received at least 3 years of thorough mathematical education, after which period they could specialize in Informatics. The mathematical training was based upon the principles of applied mathematics. In the long run Informatics developed the forms of mathematics it needed by itself.

In 1967, Dijkstra went through a deep emotional crisis. The thesis of his first Ph.D. student had been rejected by his mathematical colleagues at Eindhoven, who were still contemptuous of computer science. For him and his wife this period of deep depression was the hardest time of their life, but he regained his original strength and started to write: Notes on structured Programming.His colleagues at Eindhoven stayed silent or reacted in an utterly negative way, but Dijkstra chose the right way of attack: he xeroxed some 20 copies to colleagues in Europe and America. This was the start of a collection of scientific notes and papers that outnumbers the Bach Werke Verzeichnis, or BWV, with ease: the EWD’s.


Descriptions of concepts

Operating Systems:

Layered architecture (Paper 1968)

 

Mutual exclusion (1960 - 1965)

 

Semaphores (1960 - 1965)

 

Deadlock (1965)

 

Banker's Algorithm

 

The Dining Philosophers

 

The Sleeping Barber Problem

Programming Methodology:

Structured programming (1969)

 

Goto-Statement (1968)

       

[Source: http://www.digidome.nl/edsger_wybe_dijkstra.htm]

 

 

Topics for stage: Eindhoven University of Technology

Topics Documents
Concurrent Programming EWD 273 the programming task considered as an intellectual challenge (application/pdf)
EWD123 (application/pdf)
Solution of a problem in concurrent programming control (application/pdf)
Deadlock or Deadly Embrace EWD310 Hierarchical Ordering of Sequential Processes (application/pdf)
EWD123 (application/pdf)
Interprocess Communication EWD123 (application/pdf)
Layered Architecture The structure of the THE Multiprogramming system (application/pdf)
EWD196 (application/pdf)
EWD310 Hierarchical Ordering of Sequential Processes (application/pdf)
Mutual Exclusion EWD123 (application/pdf)
Operating Systems EWD123 (application/pdf)
The structure of the THE Multiprogramming system (application/pdf)
EWD196 (application/pdf)
EWD310 Hierarchical Ordering of Sequential Processes (application/pdf)
Programming Languages EWD 273 the programming task considered as an intellectual challenge (application/pdf)
EWD123 (application/pdf)
EWD340 The humble Programmer (application/pdf)
EWD215 (application/pdf)
Programming Methodology EWD 273 the programming task considered as an intellectual challenge (application/pdf)
On the criteria to be used in decomposing systems into modules (application/pdf)
The humble programmer (application/pdf)
EWD249 notes on structured programming (application/pdf)
EWD236 (application/pdf)
GoTo Statement considered harmful (application/pdf)
EWD227 (application/pdf)
EWD340 The humble Programmer (application/pdf)
EWD215 (application/pdf)
Reflection The humble programmer (application/pdf)
EWD340 The humble Programmer (application/pdf)
Semaphores EWD123 (application/pdf)
EWD310 Hierarchical Ordering of Sequential Processes (application/pdf)
Sequential Programming EWD 273 the programming task considered as an intellectual challenge (application/pdf)
EWD249 notes on structured programming (application/pdf)
EWD236 (application/pdf)
GoTo Statement considered harmful (application/pdf)
EWD227 (application/pdf)
EWD340 The humble Programmer (application/pdf)
EWD215 (application/pdf)

 

<- Dijkstra-Breakthroughs


Home  |  Top  |  Search  |  Gallery  | Glossary  | Sitemap  |  Guestbook  |  Making Of  |  Help