Archive
All-Union Conferences, Seminars, Symposiums, Schools
Second All-Union Conference in Programming
Proceedings of the Conference
Invited papers, 1st Issue
V.M. Glushkov: "Automated Control Systems"; G.M. Adelson-Velskiy, M.M.Bongard, S.S.Lavrov: "Heuristic Programming"; A.V. Gladkiy, A.J. Dikovskiy: "The theory of fornal grammars and languages"
Invited papers, 2nd Issue
A.P. Ershov: "Programming Abroad"; Y.M. Bayakovskiy, V.S. Shtarkman: "Computer Graphics"; V.P. Ivannikov, Z.A. Kanatnikova "ND-69 OS for BESM-6"
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"
Session B
O.K. Daugavet et al:"Translator from SIMULA simulation language into Algol-60"; S.S. Kamynin. E.Z. Liubimskiy, V.L. Ushkova "A universal programming scheme"; V.M. Kurochkin et al:"BESM-Algol system"; S.A. Romanenko, V.F. Turchin: "REFAL compiler"; N.N. Govorun et al: "On software for the measuring and computing system OIYI-Dubna"; S.V. Briskina, L.F. Lebedev, L.I. Luneva "Modification of an IPM autocode translating program for M-220"; B.A. Kniazev, A.I. Maklakov: "Unified implementation of I/O procedures for ALGAMS and FORTRAN languages"; M.G. Gonza "On one parametric translating system"
Session V
I.B.Zadykhailo et al:"OS IPM for BESM-6"; I.A. Bakharev et al: "OS IPM supervisor"; I.B. Zadykhailo et al: "OS IPM monitor"; B.A. Abel'masov et al: "External memory management in OS IPM"; A.A. Eltarenko et al: " Task and process management in OS IPM"; I.A. Bakharev et al: "Teletype management and debugging in OS IPM"; A.I. Iliushin, G.P. Khovanskaya: "OS IPM archive"
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"
Session J
V.P.Ivannikov et al: "ND-69 OS for BESM-6"; N.Govorun et al: "DUBNA monitoring system for BESM-6"; E.A.Zhogolev, Kabanov: "UNIOS-68 OS pronciples"; V.Afinogenov et al: "OS for BESM-4"; I.Belokurskaya, N.Kushnerov, M.Nemenman: "Main functions of Minsk-32 dispatcher"; A.Liakh, M.Margolin, M.Skoromnik "Implementation of an OS for Minsk-23 computer"; E.Mochalin, L.Shurukht: "Software information retrieval service based on edge-perforated cards techniquie"
Session Z
L.Kalinichenko, V.Moskalenko: "Analysis of a time-sharing system's characteristics by imitation modelling"; M.Alekseevskiy,E.Popov: "On main memory allocation for special-purpose computers"; V.Hisamutdinov, V.Legon'kov: "A dataware system"; Vilenkin, Movshovich, Trakhtengerz "An operating system for control computer with small memory"; Voskresenskiy et al: "A specialized administrative system ACS"; Kaganov, Levchenko: "M-220 computer as the element of a computer system"; V.Afinogenov: "Dynamic priority setting at quantum problem solving on digital computers"; V.Matulis, P.Rumshas: "On complex programs structure"
Paper (draft), 30.01.1970-26.02.1970
"Programming abroad"
Session K
J. McCarthy "New results in mathematical theory of computation"; V.N. Red'ko "Parametrical grammars"; A.L. Fuksman "On some properties of formal grammars"; V.A. Tuzov "Resolution problems for graph schemes with permutational operators"; V.A. Nepomniashy "On one method for recognition of program schemata equivalence and discrete transformations"; M.G. Gonza, M.N. Maritchuk "Parametrically driven syntactic checking and analysis of programming languages".
Session M
Nikitin, Sholmov: "An external sorting algorithm for magnetic tape using optimal merge trees"; Ermachenko: "On some principles of building an information system"; Arefiev et al: "Implementing a process of building formulae index for "Chemistry" Abstract Journal on BESM-4"; Legon'kov: "On segmentation of increment value in two-dimentional problems of mathematical physics solved by explicit difference methods using computer"; Zubov, Lazarova: "On classification of external sorting methods"; Sarv, Heinla: "A questionnarie system for economical data processing"
Session N
A.P.Ershov et al: "AIST-0 - an experimantal time-sharing system"; G.I.Babetskiy et al: "Dispatcher for AIST-0 system"; M.M.Bezhanova: "TENZOR system program"; Konozenko, mashbitz, Nikitin: "An OS for dialog debugging on Dnepr-21 computer"; I.Akselrod, L.Belous: "On execution of analytic transformations in the conversational-programming system SIRIUS"; Y.Krasilov: "Character printer-based system for information dieplay"; Gorbunov et al: "RND language"; B.Kalashnik: "Automatic editor for Algol programs"

Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016