Documents associated with Michel Sintzoff

Item 34. (Name does not exist in this language.)
Abstract
Abstract
"Recursive set-valued wordfunctions" by M.Sintzoff.
Abstract of the paper, 15.07.1974(?)
"Constructing Correct and Efficient Concurrent Programs".
Article, 19.04.1979
Article, 18.07.1974
BETA/T-01, 15.04.1970(?)
Translation into Russsian of the article "The structural composition of semantics in ALGOL 68". Translated by S.Pokrovskiy, edited by A.Baehrs
Covering card, M. Sintzoff->A.P. Ershov, 18.03.1969
to documents transmitted by M. Sintzov to A.P. Ershov
Covering letter, M. Sintzoff->o the members of IFIP WG 2.1, 19.04.1979
Covering letter, B. Mayoh->o the members of IFIP WG 2.1..., 05.02.1973
Covering letter, A.P. Ershov->M. Sintzoff, 08.04.1982
Covering Letter with Attachments, P. Branquart->o the members of IFIP WG 2.1, 30.04.1972
The author asks to comment enclosed documents: 1)Fontainebleau Formal Resolution (doc. FFR1) about an appointment of editors to draft the Revised Report on ALGOL 68; 2)Partitioned list of changes (doc. F27); 3)Proposals for revision of the transput sections of the Report, prepared by IFIP WG 2.1 sub-committee on Data processing and Transput (doc. F10).
Covering Letter with Attachment, Envelope, M. Sintzoff->A.P. Ershov, 15.03.1973
The author sends a preview of the semantics which will be included in the text of Revised report on the algorithmic language ALGOL 68 to be discussed in Dresden.
Covering letter with attachment, S. A. Schuman->o the members of IFIP WG 2.1, 07.06.1974
Letter, M. Sintzoff->A.P. Ershov, 07.01.1980
Invitation to participate in IFIP WG2.1 meeting
Letter, M. Sintzoff->M. A. Bulyonkov, 21.05.1991
Letter, M. Sintzoff->A.P. Ershov, 21.04.1982
The author thanks for comments on D.Gries' book and explains reasons for not publishing them in the "Science of Computer Programming" magazine.
Letter, M. Sintzoff->A.P. Ershov, 19.02.1970
Letter, W. Dijkhuis->A.P. Ershov, 10.12.1980
Letter, M. Sintzoff->A.P. Ershov, 31.08.1982

1 2
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