Documents associated with Edsger W. Dijkstra

Note, Unknown Author->E. W. Dijkstra, 13.09.1976
A question on the advantages of structured programming; request for the opinion on Jackson's approach to program construction
Item 41. (Name does not exist in this language.)
Letter, A.P. Ershov->Tony Hoare, 12.05.1981
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
requesting to speak in more detail about the advances in program correctness proof
Letter (hand-written), A.P. Ershov->A. J. Perlis, 03.12.1982
discussing the memorandum by W.Turski and the problems raised in it; on the procedure of consideration of the papers submitted to Acta Informatica
Telegram, A.P. Ershov->E. W. Dijkstra, 04.05.1976
Item 44. (Name does not exist in this language.)
Item 45. (Name does not exist in this language.)
Letter, A.P. Ershov->Unknown addressee, 20.06.1976(?)
Item 46. (Name does not exist in this language.)
Item 47. (Name does not exist in this language.)
Item 48. (Name does not exist in this language.)
Report, 12.12.1984
on results of the scientific trip to Germany (a full variant)
Telegram, A.P. Ershov->E. W. Dijkstra, 18.05.1976
Item 50. (Name does not exist in this language.)
Item 51. (Name does not exist in this language.)
Item 53. (Name does not exist in this language.)
Item 54. (Name does not exist in this language.)
Letter with attachment, R. T. Yeh->W. M. Turski, 04.03.1975
Letter, A.P. Ershov->Tony Hoare, 18.06.1976
discussing some details of A.Hoare's visit to the USSR; informing of the cancellation of the trip to the USA due to the wife's illness and of the planned three-week visit to England

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