Archive
Scientific and Technical Collaboration
Visits of foreign scientists to the Computing Center of the USSR SBAS
E.Dijkstra's and A.Hoare's Visit
Notes from the audience
Item 1. (Name does not exist in this language.)
Note, Unknown Author->E. W. Dijkstra, 17.09.1976
about programming robots' and the use of frame concept; what languages are best suited for these fields?
Note, Unknown Author->J. T. Schwartz, 17.09.1976
Questions about high level programming languages; about "ideal" computer from the point of view of a programmer and developer of new programming langiuages
Note, Unknown Author->Tony Hoare, 17.09.1976
on the compatibility of programmer's ingenuity and program reliability
Note, S. S. Lavrov->Tony Hoare, 17.09.1976
Question about the prospects of computer engineering and, in this connection, how much knowledge obtained by students today will be of use in future?
Note, Unknown Author->Tony Hoare, 17.09.1976
on computer programmers' retraining
Note, Unknown Author->E. W. Dijkstra, 17.09.1976
asking of the speakers' view of programming in 2000?
Item 8. (Name does not exist in this language.)
Note, Unknown Author->Tony Hoare, 17.09.1976
about a sequence in which to study programming languages
Note, S. S. Lavrov->E. W. Dijkstra, 17.09.1976
on the problems used as illustrations in the books on programming methodology
Note, L. F. Lebedev ->J. T. Schwartz, 17.09.1976
asking to formulate the main principles of "large" programs development
Item 12. (Name does not exist in this language.)
Item 13. (Name does not exist in this language.)
Item 14. (Name does not exist in this language.)
Note, Unknown Author->E. W. Dijkstra, 17.09.1976
Question about program correctness proof
Item 16. (Name does not exist in this language.)
Item 17. (Name does not exist in this language.)
Note, Unknown Author->E. W. Dijkstra, 17.09.1976
about E.Dijkstra's style of programming
Item 19. (Name does not exist in this language.)
Item 20. (Name does not exist in this language.)

1 2
Initial order | In alphabetical order | By date

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