Advertisement

Theoretical and Applied Programming

  • Ivan V. Sergienko
Chapter
Part of the Springer Optimization and Its Applications book series (SOIA, volume 78)

Abstract

The chapter presents the main results of the automatic–algebraic approach proposed by Glushkov and his followers in theoretical and applied programming, which laid the foundation of the Kyiv School of Cybernetics and Informatics. Among the main results are those on automata theory, theory of discrete transforms, algebra of algorithms, and their application to developing the paradigms of structural, algebraic, insertion programming, etc. This approach is shown to be efficiently applicable to the design of electronic computing machines and systems (MIR series machines, macro-pipeline computer systems). The chapter presents results on parallel computing and parallel programming and demonstrates models, methods, and technologies of macro-pipeline parallel programming, including those for multiprocessor supercomputer systems (clusters). The development of software engineering, construction of effective operating environments and automation tools for the design of application software systems are also considered. Attention is paid to the role of K. L. Yushchenko and her school in the development of programming in Ukraine.

Keywords

Finite Automaton Multiprocessor System Coordination Model Automaton Theory Linear Spline 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 4.
    Andon, P.I., Doroshenko, A.Yu., Zhereb, K.A.: Programming high-performance parallel computations: formal models and graphics processing units. Cybern. Syst. Anal 47(4), 659–668 (2011)Google Scholar
  2. 5.
    Andon, F.I., Doroshenko, A.E., Tseitlin, G.E., Yatsenko, E.A.: Algebraic–Algorithmic Models and Methods of Parallel Programming [in Russian]. Akademperiodika, Kyiv (2007)Google Scholar
  3. 34.
    Glushkov, V.M.: The Synthesis of Digital Automata [in Russian]. Fizmatgiz, Moscow (1962)Google Scholar
  4. 35.
    Glushkov, V.M.: Automata theory and issues of structure design of computers. Kibernetika, No. 1, 3–11 (1965)Google Scholar
  5. 36.
    Glushkov, V.M.: Automata theory and formal transformations of micro programs. Kibernetika, No. 5, 3–11 (1965)Google Scholar
  6. 41.
    Glushkov, V.M., Bondarchuk, V.G., Grinchenko, T.A., et al.: ANALITIK (an algebraic language for the description of computational processes with the use of analytic transformations). Kibernetika, No. 3, 102–134 (1971)Google Scholar
  7. 42.
    Glushkov, V.M., Kapitonova, Yu.V., Letichevskii, A.A.: Computer-Aided Design of Computers [in Russian]. Naukova Dumka, Kyiv (1975)Google Scholar
  8. 43.
    Glushkov, V.M., Kapitonova, Yu.V., Letichevskii, A.A.: Theory of data structures and synchronous parallel computations. Cybernetics 12(6), 816–829 (1976)Google Scholar
  9. 44.
    Glushkov, V.M., Kapitonova, Yu.V., Letichevskii, A.A.: Algebra of algorithms and dynamic paralleling of sequential programs. Kibernetika, No. 5, 4–10 (1982)Google Scholar
  10. 45.
    Glushkov, V.M., Letichevskii, A.A.: Automata and program schemes. In: Proceedings of the 1st All- Union Conference on Programming [in Russian]. Inst. Kibern. AN USSR, Kyiv, pp. 3–19 (1968)Google Scholar
  11. 46.
    Glushkov, V.M., Letichevskii, A.A., Stognii, A.A.: Source language of a computer. Kibernetika, No. 1, 2–14 (1965)Google Scholar
  12. 47.
    Glushkov, V.M., Tseitlin, G.E., Yushchenko, E.L.: Algebra, Languages, and Programming [in Russian]. Naukova Dumka, Kyiv, 1st edn. (1974); 2nd edn. (1978); 3rd edn. (1989)Google Scholar
  13. 48.
    Gnedenko, B.V., Korolyuk, V.S., Yushchenko, E.L.: Elements of Programming [in Russian]. Fizmatgiz, Moscow (1961)Google Scholar
  14. 49.
    Godlevskii, A.B., Kapitonova, Yu.V., Krivoi, S.L., Letichevskii, A.A.: Iterative methods of program analysis. Cybernetics 25(2), 139–152 (1989)Google Scholar
  15. 50.
    Godlevskii, A.B., Kapitonova, Yu.V., Krivoi, S.L., Letichevskii, A.A.: Program transformation in an algebra of algorithms with the use of invariant relations. Priborostroenie, No. 10, 16–20 (1988)Google Scholar
  16. 51.
    Gorokhovskii, S.S., Kapitonova, Yu.V., Letichevskii, A.A., Molchanov, I.N., Pogrebinskii, S.B.: Algorithmic language MAYAK. Kibernetika, No. 3, 543–574 (1984)Google Scholar
  17. 66.
    Doroshenko, A.E.: Mathematical Models and Methods of Organizing Highly Efficient Parallel Computations. Algebraic–Dynamic Approach [in Russian]. Naukova Dumka, Kyiv (2000)Google Scholar
  18. 82.
    Kapitonova, Yu.V., Letichevskii, A.A.: Mathematical Theory of Computing System Design [in Russian]. Nauka, Moscow (1988)Google Scholar
  19. 89.
    Kyvyi, S.L.: Discrete Mathematics: Selected Issues [in Ukrainian]. KM Akademiya, Kyiv (2007)Google Scholar
  20. 103.
    Lavrishcheva, K.M.: Program Engineering [in Ukrainian]. Akademperiodika, Kyiv (2008)Google Scholar
  21. 104.
    Lavrishcheva, K.M., Grishchenko, V.N.: Assembly Programming. Fundamentals of Software Industry [in Russian]. Naukova Dumka, Kyiv (2009)Google Scholar
  22. 107.
    Letichevskii, A.A.: One approach to program analysis. Cybernetics 15(6), 775–782 (1979)MathSciNetGoogle Scholar
  23. 108.
    Letichevskii, A.A., Kapitonova, Yu.V., Volkov, V.A., et al.: Insertion programming. Cybern. Syst. Anal 39(1), 16–26 (2003)Google Scholar
  24. 109.
    Letichevsky, A.Ad., Kapitonova, Yu.V., Volkov, V.A., et al.: Systems specification by basic protocols. Cybern. Syst. Anal 41(4), 479–493 (2005)Google Scholar
  25. 121.
    Andon, F.I., Koval’, G.I., Korotun, T.M., et al.: Fundamentals of the Quality Engineering of Software Systems [in Russian]. Akademperiodika, Kyiv (2007)Google Scholar
  26. 124.
    Parasyuk, I.N., Provotar, A.I., Zalozhenkova, I.A.: A methodology of structured-modular composition programming. Cybern. Syst. Anal 31(1), 123–130 (1995)CrossRefzbMATHGoogle Scholar
  27. 126.
    Perevozchikova, O.L., Tulchinsky, V.G., Yushchenko, R.A.: Design and optimization of parallel computers for processing mass data. Cybern. Syst. Anal 42(4), 559–569 (2006)CrossRefzbMATHGoogle Scholar
  28. 129.
    Provotar, A.I.: Incompleteness in a topos. Cybern. Syst. Anal 32(6), 876–884 (1996)CrossRefzbMATHMathSciNetGoogle Scholar
  29. 130.
    Provotar, A.I.: Linear morphisms in a topos. Cybern. Syst. Anal 33(2), 155–161 (1997)CrossRefzbMATHMathSciNetGoogle Scholar
  30. 150.
    Sergienko, I.V., Parasyuk, I.N., Provotar, A.I.: Using categorical methods in computer science. Cybern. Syst. Anal 36(4), 475–482 (2000)CrossRefzbMATHMathSciNetGoogle Scholar
  31. 153.
    Sergienko, I.V., Kryvyi, S.L., Provotar, O.I.: Algebraic Aspects of Information Technologies [in Russian]. Naukova Dumka, Kyiv (2012)Google Scholar
  32. 162.
    Tseitlin, G.E.: Glushkov algebras and clone theory. Cybern. Syst. Anal 39(4), 509–516 (2003)CrossRefzbMATHMathSciNetGoogle Scholar
  33. 174.
    Yatsenko, Ye.A.: Algebra of hyperschemes and integrated tools for synthesis of programs in modern object-oriented environments. Cybern. Syst. Anal 40(1), 38–42 (2004)Google Scholar
  34. 180.
    Doroshenko, A., Tseytlin, G., Yatsenko, O., Zachariya, L.A.: Theory of clones and formalized design of programs. In: Proceedings of the International Conference on Concurrency, Specification and Programming (CS&P’2006), pp. 328–339. Wandlitz, Germany, 27–29 September 2006Google Scholar
  35. 192.
    Letichevsky, A.: Algebra of behavior transformations and its applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups and Universal Algebra. NATO Science Series II: mathematics, physics and chemistry, vol. 207, pp. 241–272. Springer, Dordrecht (2005)CrossRefGoogle Scholar
  36. 193.
    Letichevsky, A., Gilbert, D.: Model for interaction of agents and environments. In: Bert, D., Choppy, C., Moses, P. (eds.) Resent Trends in Algebraic Development Techniques. Lecture notes in computer science, vol. 1827, pp. 311–328. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  37. 194.
    Letichevsky, A., Kapitonova, Yu., Letichevsky, A., Jr.: Sequence charts and the verification of requirements specifications. Comput. Network 47, 662–675 (2005)Google Scholar
  38. 199.
    Perevozchikova, O., Smolarz, A., Surtel, W., Tulchinsky, V.: Multiprocessor computing structures. In: Sikora, J., Wojcik, W. (eds.) Modeling and Optimization, pp. 147–238. Politechnika Lubelska, Lublin (2011). Chapter 3Google Scholar
  39. 205.
    Tulchinsky, V., Yushchenko, R., Yushchenko, O.: On efficiency of data compression for acceleration of seismic processing. In: Proceedings of the 72nd EAGE Conference & Exhibition, Barcelona, pp. 115–122 (2010)Google Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  • Ivan V. Sergienko
    • 1
  1. 1.V. M. Glushkov Cybernetics InstituteNational Academy of Sciences of UkraineKievUkraine

Personalised recommendations