1955

Scientific Works

1. On a method of matrix inversion, Dokl. Akad. Nauk SSSR, 100 (2) 209-211. (in Russian).

1956

2. The programming programme for the USSR Academy of Sciences BESM computer, Proc. Conf. on Prospects of Development of the Soviet Industry for Mathematical Machines and Instruments, Moscow, 12-17 March, 20-21. (in Russian).

1958

3. On programming of arithmetic statements, Dokl. Akad. Nauk SSSR, 118 (3) 429-430. (in Russian).

Idem, Communications of the ACM, 1 (8) 3-6.

4. On operator algorithms, Dokl. Akad. Nauk SSSR, 122 (6) 967-970. (in Russian).

5. A programming programme for the BESM computers (USSR Ac. Sci. Publ. House, Moscow (in Russian)).

Idem, (Pergamon Press, London, 1959 (in English)).

1960

6. Operator algorithms. I. (The basic concepts), Problemy Kibernetiki, 3, 5-48 (in Russian).

1961

7. The input language of an automatic programming systems (preliminary report), Moscow, Comp. Center of the USSR Ac. Sci., (Jt.auth. G.I.Kozhukhin, U.M.Voloshin, in Russian).

8. The main principles of the development of the programming program of the Institute of Mathematics of the Siberian Division of the USSR Ac. Sci., Sibirskij Matematicheskij Zhurnal, 2 (6) 835-852.

9. A programming program for the Strela computer, Abstracts of Talks to a Meeting on Computational Mathematics and Computer Applications, Baku, USSR, 81-93 (Jt. auth. T.M.Velikanova, K.V.Kim, V.M.Kurochkin et al., in Russian).

1962

10. Estimating the chromatic number of connected graphs, Dokl. Acad. Nauk SSSR, 142 (2) 230-273 (Jt. auth. G.I.Kozhuhin, in Russian).

11. Operator algorithms. II. (A description of the basic constructs in programming), Problemy Kibernetiki, 8, 211-233 (in Russian).

12. The reduction of the problem of memory allocation during programming to the problem of graph vertex coloring, Dokl. Acad. Nauk SSSR, 142 (4) 785-787 (in Russian).

1963

13. One view of man-machine interaction,Proc. Workshop on Thought Automation, Kiev (in Russian).

Idem, Journal of the ACM, 12 (3) (1965) 315-325.

14. The input language of an automatic programming systems (Academic Press, London - New-York) (A.P.I.C. Studies in Data Processing; N 3).

1965

15. The ALPHA automatic programming system, Zhurnal Vychisl. Matematiki i Mat. Phiziki, 5 (2) 317-325. (Jt. auth. G.I.Babetskij, M.M.Bezhanova, U.M.Voloshin et al., in Russian).

Idem, Proc. of IFIP Congress 65, Washington, USA (Spartan Books, Washington, & McMillan and Co, Ltd., London, 1966) 622-623.

Idem, Journal of the ACM, 13 (1) (1966) 17-24.

16. Man-machine interaction in solving a certain class of differential equations, Proc. of IFIP Congress 65, Washington, USA (Spartan Books, Washington, & McMillan and Co, Ltd., London, 1966) 550-551 (Jt. auth. G.I.Marchuk).

1967

17. On formalization of the concept of a program, Kibernetika, 5, 40-57 (Jt.auth. A.A.Lyapunov, in Russian).

18. The ALPHA automatic programming system (Nauka, Novosibirsk) (Jt. auth. G.I.Babetskij, M.M.Bezhanova, U.M.Voloshin et al., in Russian).

Idem, Academic Press, London-New-York, 1971. (A.P.I.C. Studies in Data Processing; N 7).

19. An experimental automatic information station AIST-O, Proc. Spring Joint Computer Conf., Atlantic City, NJ (Thompson Books, Washington & Academic Press, London) 577-582. (Jt. auth. G.I.Kozhukhin, G.P.Makarov, M.I.Nechepurenko, I.V.Pottosin).

1968

20. Operator algorithms. III. (On Yanov's operator diagrams), Problemy Kibernetiki, 20, 181-200 (in Russian).

Idem, Systems Theory Research, 20, 1971 (Academic Press, London - New-York)

21. On operator schemes over general and distributed memory, Kibernetika, 4, 63-71 (in Russian).

22. User's manual for the ALPHA system (Jt. auth. G.I.Kozhukhin, I.V.Pottosin, in Russian).

23. SYGMA, a symbolic generator and macroassembler, in: Symbol Manipulation Languages and Techniques: Proc. of the IFIP Working Conf. (North-Holland, Amsterdam), 226-246. (Jt. auth. A.F.Rar).

1969

24. Time sharing: the need for reorientation, Proc. IFIP Congress 68, Edinburgh (North-Holland, Amsterdam), 1615-1616.

1970

25. Experimental multi-access system AIST-0, Proc. 2nd All-Union Conf. on Programming. Session H, Novosibirsk, 3-14 (jt. auth. U.L.Vishnevskij, G.I.Kozhuhin, G.P.Makarov et al., in Russian).

26. Software for the forth generation of computers, Kibernetika, 1, 9-20 (in Russian).

1971

27. A general-purpose programming processor, in: Problems of Applied Mathematics and Mechanics, Moscow, 103-116 (in Russian).

28. A multilanguage programming system oriented to languages description and universal optimization algorithms, in: Algol 68 Implementation: Proc. of the IFIP Working Conf. on Algol 68 Implementation, Munich, July 20-24, 1970 (North-Holland, Amsterdam) 143-162.

1972

29. Theory of program schemata, Proc. IFIP Congress 71, Ljubljana: Invited Papers (North-Holland, Amsterdam) 144-163.

Idem, The Best Computer Papers of 1971 (Auerbach Publ., Princeton etc.) 93-124.

30. Axiomatics for memory allocation, in: Programming Language Theory and Methods of Programming Systems Construction (Proc. Symp., Kiev-Alushta), 3-21 (in Russian).

Idem, Acta Informatica 6 (1) 61-75. 1976.

31. Aesthetics and the human factor in programming, Communications of the ACM, 15 (7) 501-505, and elsewhere.

32. Theory of programming and computing systems (Znanije, Moscow) (in Russian).

33. A technology of programming system development, in: System and Theoretical Programming, Novosibirsk, 136-184 (in Russian).

1973

34. Matrix-like organization of programming system development, in: System Programming (Proc. All-Union Symp., Novosibirsk, March 1973), Pt.2, 225 (in Russian).

35. The ALPHA-6 automatic programming system, Ibid, Pt.1, 12-23 (Jt. auth. I.N.Anikeeva, S.F.Bogdanova, A.O.Buda etc., in Russian).

1975

36. Internal Language of the multi-language programming system: a means for formalizing an input language semantics, Elektronische Informationsverarbeitung und Kybernetik, 11 (4-6) 312-325 (Jt. auth. S.B. Pokrovskij, V.K. Sabelfeld, in Russian).

37. Implementation of the ALPHA-6 programming system, Proc. Intern. Conf. on Reliable Software, USA, 371-381 (Jt. auth. A.O.Buda, A.A.Granovsky).

Idem, SIGPLAN Notices 10 (6) 371-381.

38. Decomposition, synthesis and optimization in multi- language programming system, Elektronische Informations- verarbeitung und Kybernetik, 11 (4-6) 312-325 (Jt. auth. V.V.Grushetskij, S.B.Pokrovskij, I.V.Pottosin, in Russian).

39. Metaprocessors for general-purpose programming processors, in: Problems of Computational and Applied Mathe- matics, Novosibirsk, 226-250. (Jt. auth. V.V.Grushetskij, S.B.Pokrovskij, in Russian).

40. Project characteristics of a multi-language programming system, Kibernetika, 4, 11-27 (in Russian).

41. Prokrust's bed for the input languages in a multi- language programming system, Preprint, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt. auth. V.V.Grushetskij, S.B.Pokrovskij, in Russian).

Idem, Acta Polytechnica IV (1) 9-27

42. RITA - an experimental man-computer system on a natural language basis, Advance Papers of the Fourth Intern. Conf. on Artifical Intelligence, Tbilisi, Georgia, USSR, Vol.1, 387-390 (Jt.auth. I.A.Mel'chuk, A.S.Narinyani).

43. The BETA system: a comparison of the problem statement with pilot implementation, Proc. All-Union Symp. on Methods of New Programming Language Implementation, Novosibirsk, Pt.1, 73-81 (in Russian).

44. A history of computing in the USSR, Datamation, 21 (9) 80-88.

Idem, Informatyka 11 (3) 1-9 (In Polish).

1976

45. Multi-access computing centers, Voprosy Kibernetiki, 21 (pt.2), 146-156 (in Russian).

46. How do you get people to produce reliable software? Programmirovanije, 1, 90-91 (in Russian).

47. The early development of programming in the USSR. Pt.1, Preprint 12, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt. auth. M.R.Shura-Bura, in Russian).

48. The early development of programming in the USSR. Pt.2, Preprint 13, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt. auth. M.R.Shura-Bura, in Russian).

49. Evolution of programming languages, Proc. 2nd All-Union Conf. on Operation Research, Petrozavodsk, 39-54 (Jt. auth. S.B.Pokrovskij, in Russian).

50. Problems in many-language systems, Lecture Notes in Computer Science, Vol.46, 358-428.

1977

51. Introduction into theoretical programming: notes about the method (Nauka, Moscow, in Russian).

English translation: Origins of computer programming, (Springer, Berlin, 1989).

52. An implementation-oriented method for describing algorithmic languages, Proc. IFIP Congress 77, Toronto, (North-Holland, Amsterdam) 117-122 (Jt.auth.V.V.Grushetsky).

53. On the essence of compilation, Proc. Working Conference on Formal Description of Programming Concepts 31 July - 5 Aug.1977 (Preprints of technical papers), Vol.1, 1.1-1.28.

54. A theoretical principle of system programming, Soviet Math. Dokl. 18 (2) 312-315.

55. On algorithmic language unification, Problemy Kibernetiki, 32, 95-118 (Jt. auth. S.B.Pokrovskij, in Russian).

56. On the partial computation principle, Information processing letters 6 (2) 38-41.

57. Correctness of mixed computation in algol-like programs, Lect. Notes in Computer Sci., Vol.53, 59-77 (Jt. auth. V.E.Itkin).

58. Towards production compiler writing systems, in: Selected topics in information processing: IFIP-INFOPOL-76: Proc. of the IFIP-INFOPOL Intern. Conf. on Information Processing, Warsaw, March 22-27, 1976 (North-Holland, Amsterdam) 305-332.

59. A programming system for micro- and mini-computers, Preprint 53, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (in Russian).

1978

60. Program packages: a technology of application problem solving, Preprint N 121, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt. auth. V.P.Ilyin, in Russian).

61. Design specifications for a quality compiler factory, in: Constructing Quality Software: Proc. of the IFIP Working Conf., Novosibirsk, May 1977 (North-Holland, Amsterdam), 99-111. (Jt.auth. G.D.Chinin).

62. Mixed computation in the class of recursive program schemata: To the memory of professor Laslo Kalmar, Acta Cybernetica, 4 (1) 19-23.

1979

63. On the methodology of constructing interactive systems: a phenomenon of business prose, Preprint N 156, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk. (in Russian).

64. Some subjective remarks on actual problems of programming, in: Perspectives of System and Theoretical Programming: Proc. of All-Union Symp., Novosibirsk, 113-127. (in Russian).

65. Mixed computation of recursive programs, Dokl. Acad. Nauk SSSR, 245 (5) 1051-1044 (in Russian).

66. The transformational approach in software engineering, in: Software Engineering: Proc. 1st All-Union Conf., Kiev, 12-26 (in Russian).

67. School informatics: concepts, state-of-the-art, perspectives, Preprint N 152, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk. (Jt. auth. Yu.A.Pervin, G.A.Zwenigorodski, in Russian).

1980

68. An outline of scheme theory of recursive programs, in: Compilation and Models of Programs (Novosibirsk) 23-43. (Jt. auth. V.K.Sabelfeld, in Russian).

69. On Futamura's projections, BIT 12 (14) 4-5. (in Japanese).

70. The early development of programming in the USSR, in: A History of Computing in the Twentieth Century (Acad. Press, N.Y.) 137-196 (Jt.auth. M.R.Shura-Bura).

1981

71. Programming, the second literacy, in: Computer and education: Proc. IFIP TC-3 3rd World Conf. on Computer in Education (WCCE 81), Lousanne (North-Holland, Amsterdam) Pt.I, 1-17 and elsewhere in Russian, English, Czech, Bulgarian, Estonian etc.

72. Abstract computability on algebraic structures, Lect. Notes in Computer Sci., Vol.122, 397-420.

73. The transformational machine: theme and variations, Lect. Notes in Computer Sci., Vol.118, 16-32.

1982

74. Mixed computation: potential applications and problems for study, Theoretical Computer Science 18 (1) 41-67.

75. A.A.Lyapunov and computer science, Sibirskij Matematicheskij Zhurnal, 23 (6) 182.

76. Computability in arbitrary domains and basis, Semiotika i informatika, Iss.19, 3-58 (in Russian).

Idem, in: Science and Computers: A Volume Dedicated to Nicholas Metropolis. Advances in Mathematics. Supplementary Studies. Vol.10. Academic Press, New-York, 1986, 81-118.

77. Two faces of programming, Kibernetika, 6, 122-123. (in Russian).

Idem, in: Theory and Practice of Software Technology (North-Holland, Amsterdam, 1983), 145-149 (in English).

78. The machine-oriented algorithmic language SIGMA for constructing portable programs (a general description), Preprint N 355, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk. (Jt. auth. G.G.Stepanov, in Russian).

79. Methodology of multilanguage compiler construction: the BETA system example, in: Mathematical Theory and Software Practice: Proc. Soviet-Bulgarian Workshop, Novosibirsk, 64-80. (Jt. auth. V.N.Kasyanov, S.B.Pokrovskij, I.V.Pottosin, G.G.Stepanov, in Russian).

80. Systematic construction of a program to solve a particular problem from a given class by the method of mixed computation: the parser example, Sov. Phys. Dokl, 27 (10) 787-789. (Jt. auth. B.N.Ostrovsky).

1983

81. Intergated software development: a formulation of the problem, Preprint N 469, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk. (in Russian).

82. Personal computer - an ancestor of mammals in the dinosaur world of multi-access compiting centers, in: Papers of All-Union Sci. and Techn. Conf. on Problems of Constructing Individual Interactive Systems on the Base of Micro-Computers "Dialogue-82-Micro", Pushchino, USSR. 9-25. (in Russian).

83. Computers in school: formulating a national program, Alberta printout 4 (2) 34-37 (Jt. auth. Yu.A.Pervin, N.A.Yunerman, G.A.Zwenigorodski).

84. Automation in the future, in: Training for Tomorrow: IFAC/IFIP Conference, Leiden, the Netherlands, June 7-10. Preprints. 56-66.

1984

85. Office automation, Microprocessornye sredstva i sistemy, 2, 6-15. (in Russian).

86. Scientific basis of provable programming, Vestnik AKad. Nauk SSSR, 10, 9-19. (in Russian).

87. On office automation, in: Personal Computers and Problems of Informatics, Novosibirsk, 6-39. (in Russian).

88. On the subject of informatics, Vestnik Akad. Nauk SSSR, 2, 112-113. (in Russian).

89. An experiment of integral approach to the urgent problems of software, Kibernetika, 3, 11-21. (in Russian).

90. Mixed computation, V Mire Nauki (Scientific American, Russian edition), 6, 28-42. (in Russian).

91. The personal computer - a new information processing tool, in: Theoretical Problems of Informatics: Information Science and New Information Technology. FID 628, Moscow, 8-28.

1985

92. A man and computer (Znanije, Moscow). (in Russian).

93. Study of the foundations of informatics and computing machinery: a methodological text-book for secondary school teachers. Pt.1. (Prosveshchenije, Moscow) (Jt. auth. V.M.Monakhov, A.A.Kuznetsov, M.P.Lapchik et al., in Russian).

Idem, in Moldaian, Estonian, Lithuanian.

94. Computer-based fund of Russian language (an external statement of the problem), Voprosy Yazykoznanija, 2, 51-54. (in Russian).

95. Methodological foundations of school course in informatics: scientific report, Vestnik Akad. Nauk SSSR, 12, 49-59. (in Russian).

96. Foundations of informatics and computing machinery: experimental text-book for secondary school. Pt.1. (Prosveshchenije, Moscow) (Jt. auth. V.M.Monakhov, S.A.Beshenkov, Ya.E.Goltz et al., in Russian).

Idem, in Ukrainian, Tajic, Moldavian, Kazakh, Estonian, Lithuanian, Lettish, Georgian languages.

97. Preliminary considerations on a lexicon of programming, in: Kibernetika i Vychislitel'naja Technika, Iss.1. 199-210. Moscow. (in Russian).

98. Basic concepts of algorithms and programming to be taught in a school course in informatics, Proc. of the Intern. Jount Conference on Theory and Practice of Software Development (Tapsoft). (Springer, Berlin).

99. On mixed computation: informal account of the strict and polivariant computational schemes, in: Control Flow and Data Flow: Concepts of Distributed Programming (Intern. Summer School). Springer, Berlin, 107-120 (Nato ASI Ser. Ser.F. Computer and Systems Sciences; Vol. 14).

1986

100. A role of programming in the course of speeded-up development and intensification of the USSR national economy, Programmirovanije, 3, 3-7. (in Russian).

101. Study of the foundations of informatics and computing machinery: a methodological text-book for secondary school teachers. Pt.2. (Prosveshchenije, Moscow) (Jt. auth. V.M.Monakhov, M.V.Vitinsh, Ya.M.Goltz et al., in Russian).

Idem, in Moldaian, Lithuanian.

102. How can special compilation constructions be generated by general-purpose processes of mixed computation? in: Applied Logic (Computing Systems; N 116) Novosibirsk (Jt. auth. M.A.Bulyonkov).

103. Foundations of informatics and computing machinery: experimental text-book for secondary school. Pt.2. (Prosveshchenije, Moscow) (Jt. auth. V.M.Monakhov, A.A.Kuznetsov, Ya.E.Goltz et al., in Russian).

Idem, in Moldavian, Kazakh, Uzbek, Estonian, Lithuanian languages.

104. Computer-based fund of Russian language: an external statement, in: Computer-Based Fund of Russian Language: Ideas and Considerations (Nauka, Moscow), (in Russian).

1987

105. Controlled mixed computation and its application to systematic development of language-oriented parsers, in: Program Specification and Transformation: Proc. IFIP TC/WG 2.1 Working Conf., Bad Tolz, FRG, 1986 (North-Holland, Amsterdam), 31-48 (Jt.auth. B.N.Ostrovskij).

106. Informatics as new subject in secondary schools in the USSR, Procpects: Quarterly Review of Education, XVII (4) 559-570.

Idem, in Spain, French and Arabian languages.

1988

107. Foundations of informatics and computing machinery: experimental text-book for secondary school. (Prosveshchenije, Moscow) (Jt. auth. A.G. Kushnirenko, G.V.Lebedev et al.).

108. Computerization of schools and mathematical education, Proc. of the Sixth Intern. Congress on Mathematical Education, Budapest, 49-65.