Scientific Works

1955

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

1956

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

  1. On programming of arithmetic statements, Dokl. Akad.
    Idem, Communications of the ACM, 1 (8) 3-6.
  2. On operator algorithms, Dokl. Akad. Nauk SSSR, 122
  3. A programming programme for the BESM computers (USSR Ac. Sci. Publ. House, Moscow (in Russian)).
    Idem, (Pergamon Press, London, 1959 (in English)).

1960

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

1961

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

  1. Estimating the chromatic number of connected graphs, Dokl. Acad. Nauk SSSR, 142 (2) 230-273 (Jt. auth.
  2. Operator algorithms. II. (A description of the basic constructs in programming), Problemy Kibernetiki, 8,
  3. 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

  1. One view of man-machine interaction,Proc. Workshop
    Idem, Journal of the ACM, 12 (3) (1965) 315-325.
  2. The input language of an automatic programming systems (Academic Press, London - New-York) (A.P.I.C. Studies in Data Processing; N 3).

1965

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

  1. On formalization of the concept of a program,
  2. 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).
  3. 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

  1. 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)
  2. On operator schemes over general and distributed Kibernetika, 4, 63-71 (in Russian).
  3. User's manual for the ALPHA system (Jt. auth.
  4. 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

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

1970

  1. 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
  2. Software for the forth generation of computers, Kibernetika, 1, 9-20 (in Russian).

1971

  1. A general-purpose programming processor, in: Problems of Applied Mathematics and Mechanics, Moscow,
  2. 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

  1. 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.
  2. 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.
  3. Aesthetics and the human factor in programming,
  4. Theory of programming and computing systems
  5. A technology of programming system development, in: System and Theoretical Programming, Novosibirsk, 136-184 (in Russian).

1973

  1. Matrix-like organization of programming system
  2. 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

  1. 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,
  2. Implementation of the ALPHA-6 programming system, Proc. Intern. Conf. on Reliable Software, USA, 371-381 (Jt.
    Idem, SIGPLAN Notices 10 (6) 371-381.
  3. Decomposition, synthesis and optimization in multi- language programming system, Elektronische Informations- verarbeitung und Kybernetik, 11 (4-6) 312-325 (Jt. auth.
  4. Metaprocessors for general-purpose programming processors, in: Problems of Computational and Applied Mathe- matics, Novosibirsk, 226-250. (Jt. auth. V.V.Grushetskij,
  5. Project characteristics of a multi-language , Kibernetika, 4, 11-27 (in Russian).
  6. 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.
    Idem, Acta Polytechnica IV (1) 9-27
  7. RITA - an experimental man-computer system on a natural language basis, Advance Papers of the Fourth Intern. Conf. on Artifical Intelligence, Tbilisi, Georgia, USSR,
  8. The BETA system: a comparison of the problem
  9. A history of computing in the USSR, Datamation, 21 (9) 80-88.
    Idem, Informatyka 11 (3) 1-9 (In Polish).

1976

  1. Multi-access computing centers, Voprosy
  2. How do you get people to produce reliable software?
  3. The early development of programming in the USSR. Pt.1, Preprint 12, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt.
  4. The early development of programming in the USSR. Pt.2, Preprint 13, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt.
  5. Evolution of programming languages, Proc. 2nd All-Union Conf. on Operation Research, Petrozavodsk, 39-54
  6. Problems in many-language systems, Lecture Notes in Computer Science, Vol.46, 358-428.

1977

  1. Introduction into theoretical programming: notes about the method (Nauka, Moscow, in Russian).
    English translation: Origins of computer programming, (Springer, Berlin, 1989).
  2. An implementation-oriented method for describing algorithmic languages, Proc. IFIP Congress 77, Toronto, (North-Holland, Amsterdam) 117-122 (Jt.auth. V.V. Grushetsky).
  3. 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,
  4. A theoretical principle of system programming,
  5. On algorithmic language unification, Problemy Kibernetiki, 32, 95-118 (Jt. auth. S.B.Pokrovskij, in
  6. On the partial computation principle, Information
  7. Correctness of mixed computation in algol-like programs, Lect. Notes in Computer Sci., Vol.53, 59-77 (Jt.
  8. 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,
  9. A programming system for micro- and mini-computers, Preprint 53, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (in Russian).

1978

  1. Program packages: a technology of application problem solving, Preprint N 121, Computing Center, Siberian Div. of the USSR Acad. of Sci., Novosibirsk (Jt. auth.
  2. Design specifications for a quality compiler factory, in: Constructing Quality Software: Proc. of the IFIP Working Conf., Novosibirsk, May 1977 (North-Holland,
  3. Mixed computation in the class of recursive program schemata: To the memory of professor Laslo Kalmar, Acta Cybernetica, 4 (1) 19-23.

1979

  1. 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.,
  2. Some subjective remarks on actual problems of programming, in: Perspectives of System and Theoretical Programming: Proc. of All-Union Symp., Novosibirsk, 113-127.
  3. Mixed computation of recursive programs, Dokl.
  4. The transformational approach in software engineering, in: Software Engineering: Proc. 1st All-Union
  5. 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

  1. An outline of scheme theory of recursive programs,
  2. On Futamura's projections, BIT 12 (14) 4-5. (in
  3. 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

  1. 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,
  2. Abstract computability on algebraic structures,
  3. The transformational machine: theme and variations, Lect. Notes in Computer Sci., Vol.118, 16-32.

1982

  1. Mixed computation: potential applications and problems , Theoretical Computer Science 18 (1) 41-67.
  2. A.A. Lyapunov and computer science, Sibirskij
  3. 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.
  4. 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).
  5. The machine-oriented algorithmic language SIGMA for
  6. Methodology of multilanguage compiler construction:
  7. 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

  1. Intergated software development: a formulation of the problem, Preprint N 469, Computing Center, Siberian Div.
  2. 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.
  3. Computers in school: formulating a national program, Alberta printout 4 (2) 34-37 (Jt. auth.
  4. Automation in the future, in: Training for Tomorrow: IFAC/IFIP Conference, Leiden, the Netherlands, June 7-10. Preprints. 56-66.

1984

  1. Office automation, Microprocessornye sredstva i
  2. Scientific basis of provable programming, Vestnik
  3. On office automation, in: Personal Computers and Problems of Informatics, Novosibirsk, 6-39. (in Russian).
  4. On the subject of informatics, Vestnik Akad. Nauk
  5. An experiment of integral approach to the urgent problems of software, Kibernetika, 3, 11-21. (in Russian).
  6. Mixed computation, V Mire Nauki (Scientific
  7. 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

  1. A man and computer (Znanije, Moscow). (in Russian).
  2. 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.,
    Idem, in Moldaian, Estonian, Lithuanian.
  3. Computer-based fund of Russian language (an external statement of the problem), Voprosy Yazykoznanija, 2,
  4. Methodological foundations of school course in informatics: scientific report, Vestnik Akad. Nauk SSSR, 12,
  5. 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.
  6. Preliminary considerations on a lexicon of programming, in: Kibernetika i Vychislitel'naja Technika,
  7. 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
  8. 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

  1. A role of programming in the course of speeded-up , Programmirovanije, 3, 3-7. (in Russian).
  2. 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.,
    Idem, in Moldaian, Lithuanian.
  3. How can special compilation constructions be generated by general-purpose processes of mixed computation? in: Applied Logic (Computing Systems; N 116) Novosibirsk
  4. 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.
  5. Computer-based fund of Russian language: an external statement, in: Computer-Based Fund of Russian Language: Ideas and Considerations (Nauka, Moscow), (in Russian).

1987

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

  1. Foundations of informatics and computing machinery: experimental text-book for secondary school. (Prosveshchenije, Moscow) (Jt. auth. A.G. Kushnirenko,
  2. Computerization of schools and mathematical education, Proc. of the Sixth Intern. Congress on Mathematical Education, Budapest, 49-65.