|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with John Cocke Covering letter, J. T. Schwartz->A.P. Ershov, 07.01.1970 Papers of foreign participants; international discussion F. Bauer "Programming languages from educational and professional point of view"; A. van Wijngaarden "At the border between natural and artificial languages"; P. Ingerman "Taxonomy for programming"; J. Cocke "Global instructions saving"; J. McCarthy "Current state of mathematical theory of computation"; L. Noline "ATF - an intelligent programming language"; documents on discussion "Programming in the 70-s"
Curriculum vitae, 01.01.1971(?)Session G J.Cocke: "Global saving of coinciding expressions"; L.Romanovskaya et al: "Automated programming system based on minimal compatible COBOL"; N.Sckut: "On work programs optimization in TAM-22T and TAM-32 compilers"; K.Tinn, E.Tyugu.M.Unt: "A modular programming system for Vinsk-22"; V.Shurakov, V.Morozov: "A system for data processing tasks automation for Minsk-22"; L.Krasnik, M.Nemenman, V.Tsegelskiy: "Main features of the Minsk-32 computer programming system"; R.Astsaturov et al: "A system for microprogramming automation"; I. Maximei: "Software for statistical analysis of workin dynamics of M-220 registers an devices"
Letter, A.P. Ershov->J. T. Schwartz, 17.01.1969discussing invitation for J.Cocke to visit Novosibirsk
Letter, N. D. Vvedenskaya->A.P. Ershov, 12.02.1970Request to pass to Prof. Cowey the Russian translation of his theses during his visit to Novosibirsk
Letter, F. Allen->A.P. Ershov, 17.01.1975The author informs that he and J.Schwarz will attend the Symposium and that he plans to give a talk. Regretfully he cannot send a promised material.
Foreign Scientist's Record CardLetter with Attachments, F. H. Sumner->A.P. Ershov, 03.04.1979 The author wants to be informed whether the invited speakers from USSR and Bulgaria agree to submit their papers. Attachments contain forms of invitations.
Letters, A.P. Ershov->F. Allen, 01.04.1975Six official invitations (standardized though personal) to participate in the Symposium and to submit a paper. There are given details on the Symposium and on arranging the travel.
Draft Letter, A.P. Ershov->J. Cocke, 30.07.1979to invited speakers with advices concerning written form of their papers.
Letter, J. T. Schwartz->A.P. Ershov, 19.05.1975Plans are described concerning travels of J.Schwarz, J.Cocke and F.Allen in August-September 1975, including participation in the Novosibirsk Symposium.
Notes, 04.02.1970addressed to J.Cocke
Reference, 14.10.1980of Dr. Cocke with his short curriculum. Handwritten.
Telegram, A.P. Ershov->J. Cocke, 30.01.1970request to cable the confrence plans
Picture, 04.02.1970(?)Reception in honour of foreign participants; from left to right: J.Cocke,T.Golenpolsky(standing), G.Marchuk, F.Bauer (standing)
Letters, A.P. Ershov->J. Cocke, 16.06.1975Eight letters (standardized though personal) informing on organizational issues of Symposium, on representing and publishing papers. Hotel and other accomodations in Novosibirsk are indicated as well as their rates.
Picture, 04.02.1970(?)Reception in honour of foreign participants; from left to right: A.Ershov, J.Cocke, T.Golenpolsky, G.Marchuk
Notes, 04.02.1970taken by Ershov during the panel discussion
Picture, 05.02.1970John Cocke
1 2 Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
