Skip to main content
SpringerLink
Log in

Algebraic-grammatical models of parallel computation

  • Software-Hardware Systems
  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

The survey focuses on algebraic-grammatical models of parallel processes, representation of knowledge about classes of algorithms in terms of a variety of production systems (structured design grammars), and program generation tools.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Literature Cited

  1. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebras, Languages, and Programming [in Russian], 3rd edn., Naukova Dumka, Kiev (1989).

    Google Scholar 

  2. E. L. Yushchenko, G. E. Tseitlin, V. P. Gritsai, and T. K. Terzyan, Multilevel Structured Program Design: Theoretical Principles and Support Tools [in Russian], Finansy i Statistika, Moscow (1989).

    Google Scholar 

  3. G. E. Tseitlin and E. L. Yushchenko, "Theoretical and applied aspects of structured parallel programming," Kibernetika, No. 5, 38–48 (1987).

    Google Scholar 

  4. G. E. Tseitlin and E. L. Yushchenko, "Multilevel structured program design (past, present, future)," Kibernetika, No.4, 34–41, 46 (1988).

    Google Scholar 

  5. V. M. Glushkov, "Automata theory and formal transformations of microprograms," Kibernetika, No. 5, 1–10 (1965).

    Google Scholar 

  6. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, London (1972).

    Google Scholar 

  7. R. F. Plyushkavichyus, A. Yu. Plyushkavichene, Yu. V. Sakalauskaite, and S. P. Yukna, "On program logics," Kibernetika, No. 2, 12–19 (1979).

    Google Scholar 

  8. J. Darlington, "The design of some sorting algorithms," [Russian translation], Kiber. Sb., No. 18, 147–176 (1981).

    Google Scholar 

  9. G. E. Tseitlin, "Design of sequential sorting algorithms: classification, transformation, generation," Programmirovanie, No. 3, 3–24 (1989).

    Google Scholar 

  10. G. E. Tseitlin, "Design of parallel sorting algorithms," Programmirovanie, No. 6, 4–19 (1989).

    Google Scholar 

  11. G. E. Tseitlin, "Algorithmic data-structure algebras and multilevel program design," Programmirovanie, No. 3, 3–16 (1986).

    Google Scholar 

  12. G. E. Tseitlin, "The problem of identical transformations of structured program schemas with closed logical conditions, 1–3," Kibernetika, No. 3, 50–57, No. 4, 10–18, No. 5, 44–51 (1978).

    Google Scholar 

  13. G. E. Tseitlin, "Formal transformation in three-valued logic of structured programming," Proc. 12th Int. Symp. on Multiple-Valued Logic, Paris (1982), pp. 336–340.

  14. N. Wirth, Algorithms + Data Structures = Programs, Prentice-Hall, New York (1976).

    Google Scholar 

  15. E. Dijkstra, A Discipline of Programming [Russian translation], Mir, Moscow (1978).

    Google Scholar 

  16. G. E. Tseitlin and A. V. Bakulin, "Multilevel structured program designs and their justification," Kibernetika, No. 5, 98–107 (1991).

    Google Scholar 

  17. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, "Certain problems of the theory of structured programs," Inform. Proc. Lett.,7, No. 6, 256–260 (1978).

    Google Scholar 

  18. Yu. A. Yushchenko, "Identical transformations in algebras of nondeterministic algorithms, I, II," Kibernetika, No. 6, 9–15 (1985), No. 6, 31–38 (1986).

    Google Scholar 

  19. G. E. Tseitlin and E. L. Yushchenko, "Multilevel synthesis of structured programs," Kibernetika, No. 5, 11–21, 32 (1982).

    Google Scholar 

  20. R. I. Podlovchenko, "Program schemas with monotone operators," Programmirovanie, No. 6, 3–15 (1988).

    Google Scholar 

  21. L. I. Lamport, "The Hoare logic of concurrent programs," Acta Inform.,14, No. 1, 21–38 (1980).

    Google Scholar 

  22. G. E. Tseitlin, "Formal transformation of structured sorting algorithms," Programmirovanie, No. 2, 88–100 (1985).

    Google Scholar 

  23. G. E. Tseitlin, "Formal aspects of structured programming with goto," Programmirovanie, No. 1, 3–16 (1984).

    Google Scholar 

  24. D. E. Knuth, "Structured programming with goto statements," Computing Surveys,6, No. 4, 292 (Dec. 1974).

    Google Scholar 

  25. A. B. Godlevskii, Yu. V. Kapitonova, S. L. Krivoi, and A. A. Letichevskii, "Iterative methods of program analysis. Equalities and inequalities," Kibernetika, No. 3, 1–9 (1990).

    Google Scholar 

  26. V. N. Red'ko, "Fundamentals of composition programming," Kibernetika, No. 3, 3–19 (1979).

    Google Scholar 

  27. A. V. Anisimov, Recursive Information Transformers [in Russian], Vishcha Shkola, Kiev (1987).

    Google Scholar 

  28. L. P. Lisovik, "Metalinear schemas with constant transfers," Programmirovanie, No. 2, 29–38 (1985).

    Google Scholar 

  29. É. Kh. Tyugu, Conceptual Programming [in Russian], Nauka, Moscow (1984).

    Google Scholar 

  30. G. E. Tseitlin, "Structured programming of symbolic multiprocessing problems," Kibernetika, No. 5, 22–30 (1983).

    Google Scholar 

  31. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Symbolic Multiprocessing Methods [in Russian], Naukova Dumka, Kiev (1980).

    Google Scholar 

  32. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, "The theory of language processors and homogeneous structures," 2nd Int. Symp. on Programming, Paris (1976), pp. 201–218.

    Google Scholar 

  33. G. E. Tseitlin and E. L. Yushchenko, "Theory of parametric models of languages and parallel syntactic analysis," Lect. Notes Comput. Sci.,47, 231–245 (1977).

    Google Scholar 

  34. G. E. Tseitlin, "Parallelization of sorting algorithms," Kibernetika, No. 6, 67–74 (1989).

    Google Scholar 

  35. D. Knuth, The Art of Computer Programming [Russian translation], Vol. 3, Mir, Moscow (1978).

    Google Scholar 

  36. H. Lorin, Sorting and Sort Systems, Addison-Wesley, Reading, MA (1975).

    Google Scholar 

  37. D. Bitton, D. J. Witt, D. K. Hsiao, and J. Menos, "A taxonomy of parallel sorting," Comput. Surveys,16, No. 3, 288–318 (1985).

    Google Scholar 

  38. L. I. Nagornaya, "Syntactically correct multilevel structured program design," Kibernetika, No. 5 (1991).

  39. G. E. Tseitlin and A. V. Galushka, "Algorithmic mobility of programs," Programmirovanie, No. 5, 13–23 (1990).

    Google Scholar 

  40. E. L. Yushchenko, G. E. Tseitlin, and A. V. Galushka, "Algebraic-grammatic specifications and synthesis of structured program schemas," Kibernetika, No. 6, 5–16 (1989).

    Google Scholar 

  41. A. V. Galushka, "Construction of standard program designs in the MUL'TIPROTSESSIST system, Kibern. Sist. Anal. No. 5, 121 (1991).

    Google Scholar 

  42. A. N. Petrushenko, "An approach to automation of optimizing transformations of algorithms and programs," Kibern. Sist. Anal. No. 5, 127 (1991).

    Google Scholar 

  43. V. G. Akulovskii, "Formalization of software design for MIS in ferrous metallurgy," Kibern. Sist. Anal. No. 5, 138 (1991).

    Google Scholar 

Download references

Authors
  1. G. E. Tseitlin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. L. Yushchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 5–13, September–October, 1991.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tseitlin, G.E., Yushchenko, E.L. Algebraic-grammatical models of parallel computation. Cybern Syst Anal 27, 639–645 (1991). https://doi.org/10.1007/BF01130532

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01130532

Keywords

Search

Navigation