|
|||||||||||
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.1979Article, 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.1969to documents transmitted by M. Sintzov to A.P. Ershov
Covering letter, M. Sintzoff->o the members of IFIP WG 2.1, 19.04.1979Covering 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.1973The 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.1974Letter, M. Sintzoff->A.P. Ershov, 07.01.1980 Invitation to participate in IFIP WG2.1 meeting
Letter, M. Sintzoff->M. A. Bulyonkov, 21.05.1991Letter, 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.1970Letter, 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 |
|