| Note, Unknown Author->Tony Hoare, 13.09.1976 questions on automation and program correctness
Note, Unknown Author->E. W. Dijkstra, 13.09.1976about FORTRAN future
Note, Unknown Author->E. W. Dijkstra, 13.09.1976about plans to speak at the MSU
Note, Unknown Author->Tony Hoare, 13.09.1976requesting to explain what is HIPO-diagram
Note, Unknown Author->E. W. Dijkstra, 13.09.1976Request for the opinion on "fuzzy programs" and possibility of their implementation
Note, A.P. Ershov->M. R. Shura-Bura, 13.09.1976Invitation to join the farewell party
Note, Unknown Author->E. W. Dijkstra, 13.09.1976about Algol 68 compilers
Note, Unknown Author->A.P. Ershov, 13.09.1976request for more concrete information
Note, Unknown Author->Tony Hoare, 13.09.1976about microprogramming future trends
Note, Unknown Author->E. W. Dijkstra, 13.09.1976about the process of debugging a verified program
Note, Unknown Author->E. W. Dijkstra, 13.09.1976Question about future trends in computer systems with hardware support of higher-level languages
Note, Unknown Author->E. W. Dijkstra, 13.09.1976asking how to solve a problem of specifications combination, program construction and implementation
Note, Unknown Author->E. W. Dijkstra, 13.09.1976about Burroughs research trends
Note, Unknown Author->Tony Hoare, 13.09.1976on relevancy of comparing the work of a programmer on program design with the "hardware" technique
Note, Unknown Author->Tony Hoare, 13.09.1976about relational databases
Item 16. (Name does not exist in this language.)about program correctness proof
Note, 13.09.1976to the chairman with therequest to write the guests' names in English and in Russian
Note, Unknown Author->E. W. Dijkstra, 13.09.1976on the complexity of programming connected to program correctness proof
Note, Unknown Author->E. W. Dijkstra, 13.09.1976asking what is "software reliability"
Note, Unknown Author->E. W. Dijkstra, 13.09.1976asking for details about the language for Simple Programs
1
2
3
Initial order | In alphabetical order | By date |
