Documents associated with Edsger W. Dijkstra

Note, Unknown Author->E. W. Dijkstra, 17.09.1976
about E.Dijkstra's style of programming
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
on the complexity of programming connected to program correctness proof
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
asking what is "software reliability"
Item 19. (Name does not exist in this language.)
Item 20. (Name does not exist in this language.)
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
asking for details about the language for Simple Programs
Letter, A.P. Ershov->E. W. Dijkstra, 03.05.1983
Ershov is informing Dijkstra of his prospective visit to Netherlands in June and asking about the possibility of meeting him there
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
Question about the visit's program; asking for the opinion on P. Brink Hansen's SOLO system
Item 21. (Name does not exist in this language.)
Letters, A.P. Ershov->E. W. Dijkstra, 18.07.1978
Being IFIP 80 PC member Ershov will be able to visit Amsterdam several times. He will be glad to stay in September in Netherlands one or two days more for seeing van Wijngaarden and Dijkstra.
Telegram, 05.03.1979
E.Dijkstra invites A.Ershov to visit him in Nuenen.
Minutes, E. W. Dijkstra ->D. Gries..., 08.08.1984
Item 22. (Name does not exist in this language.)
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
on overcoming the inertia of the existing approach to programming
Telegram, E. W. Dijkstra ->A.P. Ershov, 26.05.1983
cheduling the meetings in Nuenen and Leiden
Letter
about sending Prof. A.P. Ershov to Germany (justification enclosed)
Letter, 13.05.1980
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
Question on software developers' copyright protection in Western Europe
Item 23. (Name does not exist in this language.)
Draft Telegrams, A.P. Ershov->E. W. Dijkstra, 07.09.1978
connected with Ershov's arrival to Amsterdam.

1 2 3 4 5 6 7 8 9 10 11 12
Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016