Skip to main content
SpringerLink
Log in
Book cover

Topical Directions of Informatics pp 1–34Cite as

Theoretical and Applied Programming

  • Chapter
  • First Online:

  • 695 Accesses

Part of the book series: Springer Optimization and Its Applications ((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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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. 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. Glushkov, V.M.: The Synthesis of Digital Automata [in Russian]. Fizmatgiz, Moscow (1962)

    Google Scholar 

  4. Glushkov, V.M.: Automata theory and issues of structure design of computers. Kibernetika, No. 1, 3–11 (1965)

    Google Scholar 

  5. Glushkov, V.M.: Automata theory and formal transformations of micro programs. Kibernetika, No. 5, 3–11 (1965)

    Google Scholar 

  6. 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. Glushkov, V.M., Kapitonova, Yu.V., Letichevskii, A.A.: Computer-Aided Design of Computers [in Russian]. Naukova Dumka, Kyiv (1975)

    Google Scholar 

  8. 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. 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. 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. Glushkov, V.M., Letichevskii, A.A., Stognii, A.A.: Source language of a computer. Kibernetika, No. 1, 2–14 (1965)

    Google Scholar 

  12. 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. Gnedenko, B.V., Korolyuk, V.S., Yushchenko, E.L.: Elements of Programming [in Russian]. Fizmatgiz, Moscow (1961)

    Google Scholar 

  14. 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. 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. 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. 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. Kapitonova, Yu.V., Letichevskii, A.A.: Mathematical Theory of Computing System Design [in Russian]. Nauka, Moscow (1988)

    Google Scholar 

  19. Kyvyi, S.L.: Discrete Mathematics: Selected Issues [in Ukrainian]. KM Akademiya, Kyiv (2007)

    Google Scholar 

  20. Lavrishcheva, K.M.: Program Engineering [in Ukrainian]. Akademperiodika, Kyiv (2008)

    Google Scholar 

  21. Lavrishcheva, K.M., Grishchenko, V.N.: Assembly Programming. Fundamentals of Software Industry [in Russian]. Naukova Dumka, Kyiv (2009)

    Google Scholar 

  22. Letichevskii, A.A.: One approach to program analysis. Cybernetics 15(6), 775–782 (1979)

    MathSciNet  Google Scholar 

  23. Letichevskii, A.A., Kapitonova, Yu.V., Volkov, V.A., et al.: Insertion programming. Cybern. Syst. Anal 39(1), 16–26 (2003)

    Google Scholar 

  24. 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. 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. Parasyuk, I.N., Provotar, A.I., Zalozhenkova, I.A.: A methodology of structured-modular composition programming. Cybern. Syst. Anal 31(1), 123–130 (1995)

    Article  MATH  Google Scholar 

  27. 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)

    Article  MATH  Google Scholar 

  28. Provotar, A.I.: Incompleteness in a topos. Cybern. Syst. Anal 32(6), 876–884 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  29. Provotar, A.I.: Linear morphisms in a topos. Cybern. Syst. Anal 33(2), 155–161 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  30. Sergienko, I.V., Parasyuk, I.N., Provotar, A.I.: Using categorical methods in computer science. Cybern. Syst. Anal 36(4), 475–482 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  31. Sergienko, I.V., Kryvyi, S.L., Provotar, O.I.: Algebraic Aspects of Information Technologies [in Russian]. Naukova Dumka, Kyiv (2012)

    Google Scholar 

  32. Tseitlin, G.E.: Glushkov algebras and clone theory. Cybern. Syst. Anal 39(4), 509–516 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  33. 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. 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 2006

    Google Scholar 

  35. 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)

    Chapter  Google Scholar 

  36. 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)

    Chapter  Google Scholar 

  37. Letichevsky, A., Kapitonova, Yu., Letichevsky, A., Jr.: Sequence charts and the verification of requirements specifications. Comput. Network 47, 662–675 (2005)

    Google Scholar 

  38. 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 3

    Google Scholar 

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

Download references

Author information

Authors and Affiliations

  1. V. M. Glushkov Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine

    Ivan V. Sergienko

Authors
  1. Ivan V. Sergienko
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media New York

About this chapter

Cite this chapter

Sergienko, I.V. (2014). Theoretical and Applied Programming. In: Topical Directions of Informatics. Springer Optimization and Its Applications, vol 78. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-0476-1_1

Download citation

Publish with us

Policies and ethics

Search

Navigation