Skip to main content
SpringerLink
Log in

Multilevel structured program design: Formalization and applications

  • Published:
Cybernetics Aims and scope

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

Literature Cited

  1. M. Yu. Artem'ev, Automation on Mail Services Using Homogeneous Computer Systems [in Russian], Candidate's Thesis, Moscow (1980).

  2. M. Yu. Artem'ev and I. A. Mamzelev, “An algorithmically complete collection of system operations for a common-bus HCS,” Kibernetika, No. 3, 88–93 (1981).

    Google Scholar 

  3. M. E. Berkovich, “Parallel processes in distributed computer systems for solving large dimensionality problems,” Kibernetika, No.6, 60–66 (1979).

    Google Scholar 

  4. F. P. Brooks, How to Design and Develop Software Systems [Russian translation], Nauka, Moscow (1979).

    Google Scholar 

  5. I. V. Vel'bitskii, “R-technology-80,” Upr. Sist. Mash. No. 6, 49–55 (1980).

    Google Scholar 

  6. I. V. Vel'bitskii, V. N. Khodakovskii, and L. I. Sholmov, Program Development Technology for ES and BESM-6 Computers [in Russian], Statistika, Moscow (1980).

    Google Scholar 

  7. I. V. Vel'bitskii and E. L. Yushchenko, “A metalanguage oriented to syntactic analysis and checking,” Kibernetika, No. 2, 50–54 (1970).

    Google Scholar 

  8. V. K. Vodop'yanov, V. M. Zav'yalov, V. A. Zubkov, and T. K. Terzyan, “Language tools of structured design of technological processes,” Kibernetika, No. 3, 69–72 (1981).

    Google Scholar 

  9. A. V. Gladkii, Formal Grammars and Languages [in Russian], Nauka, Moscow (1973).

    Google Scholar 

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

    Google Scholar 

  11. V. M. Glushkov, “Fundamental research and programming technology,” Programmirovanie, No. 2, 3–13 (1980).

    Google Scholar 

  12. V. M. Glushkov, V. G. Bondarchuk, T. A. Grinchenko, et al., “ANALITIK — an algorithmic language for description of computation processes using analytical transformations,” Kibernetika, No. 3, 102–134 (1971).

    Google Scholar 

  13. V. M. Glushkov, V. V. Bublik, S. S. Gorokhovskii, et al., PROEKT-ES — A Basic Instrumental Programming Language [in Russian], No. 79-22, Preprint, Inst. Kibernet. Akad. Nauk UkrSSR, Kiev (1979).

    Google Scholar 

  14. V. M. Glushkov and I. V. Vel'bitskii, “Programming technology and problems of its automation,” USiM, No. 6, 75–93 (1976).

    Google Scholar 

  15. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, Automatic Computer Design [in Russian], Naukova Dumka, Kiev (1975).

    Google Scholar 

  16. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Theory of data structures and parallet synchronous computations,” Kibernetika, No. 6, 2–15 (1976).

    Google Scholar 

  17. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Toward a theory of hardwave and soft-ware design of multiprocessor computers,” Kibernetika, No. 6, 1–15 (1978).

    Google Scholar 

  18. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “On application of the method of formalized technical specifications to program design for data structure processing,” Programmirovanie, No. 6, 31–44 (1978).

    Google Scholar 

  19. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “On the design of a family of algorithmic languages for programming and design of multiprocessor computer systems,” Kibernetika, No. 1, 1–7 (1981).

    Google Scholar 

  20. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebras. Languages. Programming [in Russian], Naukova Dumka, Kiev (1978).

    Google Scholar 

  21. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, “Theory of language processors and parallel computations,” Kibernetika, No. 1, 1–19 (1979).

    Google Scholar 

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

    Google Scholar 

  23. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, “Problems of analysis and synthesis of structured parallel programs,” Kibernetika, No. 3, 1–16 (1981).

    Google Scholar 

  24. A. K. Gorin, “Structured programming based on algorithmic algebra systems with file manipulating facilities,” Kibernetika, No. 3, 73–78 (1981).

    Google Scholar 

  25. V. P. Gritsai, G. T. Konovalov, L. M. Melen', et al., “MUL'TIPROTESSIST—a multilevel parametric system for structured parallel programming,” in: Abstracts of Papers at the Soviet Scientific-Technical Conference “Problems of Designing and Using High Throughput Computers” [in Russian], Kishinev (1979), pp. 61–63.

  26. V. P. Gritsai and G. E. Tseitlin, “Some problems of automatic structured parallel programming,” Kibernetika, No. 1, 106–111 (1979).

    Google Scholar 

  27. O. Dahl, E. Dijkstra, and C. Hoare, Structured Programming, Academic Press, New York (1972).

    Google Scholar 

  28. E. Dijkstra, A Discipline of Programming, Prentice Hall, Englewood Cliffs, New Jersey (1976).

    Google Scholar 

  29. E. V. Evreinov and Yu. G. Kosarev, High-Throughput Homogeneous Universal Computer Systems [in Russian], Nauka, Novosibirsk (1966).

    Google Scholar 

  30. E. V. Evreinov and Yu. G. Kosarev, Homogeneous Computer Systems [in Russian], Nauka, Novosibirsk (1979).

    Google Scholar 

  31. A. P. Ershov, “Programming system development technology,” in: System and Theoretical Programming [in Russian], Novosibirsk (1972), pp. 136–184.

  32. A. P. Ershov, A Prgramming System for Mini- and Microcomputers [in Russian], No. 53, Preprint, Vychisl. Tsentr Sibir. Otdel. Akad. Nauk SSSR, Novosibirsk (1977).

    Google Scholar 

  33. V. P. Zhidakov, “Application of homogeneous computer systems to solve complex design problems,” in: Proc. 4th Soviet Conf. “Homogeneous Computer Systems and Media” [in Russian], Part 3, Kiev (1975), pp. 169–171.

  34. E. Z. Zhogolev, “Syntax-directed program design,” Programmirovanie, No. 6, 20–25 (1979).

    Google Scholar 

  35. E. Yourdon, Techniques of Program Structure and Design, Prentice Hall, Englewood Cliffs, New Jersey (1975).

    Google Scholar 

  36. G. M. Kirsanov, G. E. Tseitlin, and E. L. Yushchenko, “On application of microprogram algebras to some topics of programming automation,” in: Computer Software [in Russian], Kiev (1971), pp. 99–117.

  37. G. M. Kirsanov, G. E. Tseitlin, and E. L. Yushchenko, “ANALIST — a software package for identity (theorem) proving in axiomatized AAS,” Kibernetika, No. 4, 28–33 (1979).

    Google Scholar 

  38. P. I. Komarov, Organization of Reliable Computations on MHCS [in Russian], Abstract of Candidate's Thesis, Moscow (1980).

  39. Yu. G. Kosarev and N. M. Mirenkov, “Software for homogenous computer systems,” Vychisl. Systemy, No. 58, 61–79 (1974).

    Google Scholar 

  40. V. E. Kotov, “On parallel languages,” Parts 1, 2, Kibernetika, No. 3, 1–12; No. 4, 1–10 (1980).

    Google Scholar 

  41. N. S. Maksimov, “Software for a multicomputer system of arbitrary topology,” Voprosy Radioelektroniki, Comp. Engng. Ser., No. 2, 13–21 (1977).

    Google Scholar 

  42. A. A. Markov, Theory of Algorithms [in Russian], Izd. Akad. Nauk SSSR, Moscow (1954).

    Google Scholar 

  43. A. A. Monin, Investigation of Anomalous Functioning Modes and Development of Control Algorithms for Technical Maintenance of Computer Communications [in Russian], Abstract of Candidate's Thesis, Moscow (1979).

  44. M. M. Muchnik, “Structured descriptions of the components of mini- and microcomputer software,” Kibernetika, No. 3, 66–68 (1981).

    Google Scholar 

  45. L. I. Nagornaya, “Design principles for a model of multilayer parallel translation,” in: Abstracts of Papers at the Soviet Conf. on Translation Methods [in Russian], Novosibirsk (1981), pp. 94–97.

  46. L. I. Nagornaya, G. E. Tseitlin, and E. L. Yushchenko, “On a method of multilayer parsing for parallel programming systems,” Kibernetika, No. 1, 90–97 (1979).

    Google Scholar 

  47. L. I. Nagornaya, G. E. Tseitlin, and E. L. Yushchenko, “Structured programming and problems of parallel translation,” in: Abstracts of papers on Automatic Design of Application Packages [in Russian], Tallin (1980), pp. 102–106.

  48. V. A. Pronina and E. A. Trakhtengerts, “Principles of translation system design for parallel computers,” Programmirovanie,” No. 5, 40–52 (1977).

    Google Scholar 

  49. V. N. Red'ko, “Parametric grammars and problems of parametrization,” in: Automatic Programming [in Russian], Kiev (1969), pp. 27–36.

  50. V. N. Red'ko, “Semantic program structures,” Programmirovanie, No. 1, 3–19 (1981).

    Google Scholar 

  51. M. A. Khvostantsev, Multiprocessor Homogeneous Computer System for Integral Robot Control [in Russian], Abstract of Candidate's Thesis, Moscow (1977).

  52. J. Hughes and J. Michtom, A Structured Approach to Programming, Prentice Hall, Englewood Cliffs, New Jersey (1976).

    Google Scholar 

  53. G. E. Tseitlin, “A system of algorithmic algebras and some control schemas in homogeneous systems,” in: Problems of Computer Theory and Design: Computer Systems [in Russian], Novosibirsk (1977), pp. 29–40.

  54. G. E. Tseitlin, “The problem of identity transformations of schemas of structured programs with closed logical conditions,” Parts 1–3, Kibernetika, No. 3, 50–57; No. 4, 10–18 (1979).

    Google Scholar 

  55. G. E. Tseitlin, Language Structures and Processors [in Russian], Moskovskii Energet. Inst., Moscow (1980).

    Google Scholar 

  56. G. E. Tseitlin, “Multilevel parallel design of structured programs,” in: Methods of Mathematical Logic in Problems of Artificial Intelligence [in Russian], Vil'nyus (1980), pp. 262–264.

  57. G. E. Tseitlin, “Parallel programming technology and methods of symbolic multiprocessing,” in: Proc. Soviet Conf. on Parallel Programming and High-Throughput Systems [in Russian], Part 1, Novosibirsk (1980), pp. 36–53.

  58. G. E. Tseitlin and E. L. Yushchenko, “On representation of languages in bs-automata,” Kibernetika, No. 6, 40–52 (1974).

    Google Scholar 

  59. G. E. Tseitlin and E. L. Yushchenko, “On parametric models of languages oriented to unambiguous PR-parsing,” Kibernetika, No. 1, 21–35 (1977).

    Google Scholar 

  60. G. E. Tseitlin and E. L. Yushchenko, “Storage standardization and structured programming technology,” Programmirovanie, No. 6, 3–10 (1979).

    Google Scholar 

  61. V. N. Shakin, Designing Specialized Software Systems for Modeling Computerized Communication Networks [in Russian], Abstract of Candidate's Thesis (1980).

  62. E. L. Yushchenko, Addressing Programming [in Russian], Gostekhizdat UkrSSR, Kiev (1963).

    Google Scholar 

  63. Yu. A. Yushchenko, “Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions,” Kibernetika, No. 3, 56–60 (1981).

    Google Scholar 

  64. E. L. Yushchenko, G. E. Tseitlin, and L. I. Dovgopolaya, “A facility for syntactic checking of programs,” Soviet Patent No. 669356, Byull. Izobr., No. 23 (1979).

  65. E. L. Yushchenko, G. E. Tseitlin, and M. M. Muchnik, “Structured design of software for mini- and microcomputers,” Programmirovanie, No. 6, 46–58 (1980).

    Google Scholar 

  66. V. M. Glushkov, M. V. Ignatiev, V. A. Mjasnikov, and V. A. Torgashev, “Recursive machines and computing technology,” in: Information Processing-74, Stockholm (1974), pp. 65–70.

  67. V. Liskov, “Abstraction mechanisms in CLU,” Comm. ACM,20, No. 8, 564–583 (1977).

    Google Scholar 

  68. G. E. Tseitlin, “The theory of the modified Post algebras and multidimensional automata structures,” Lecture Notes in Computer Science, No. 32, 418–424 (1975).

    Google Scholar 

  69. G. E. Tseitlin, “Schematics of structural parallel programming and its applictions,” Lecture Note in Computer Science, No. 74, 474–481 (1979).

    Google Scholar 

  70. G. E. Tseitlin and E. L. Jushchenko, “Theory of parametric models of languages and networks of parallel automata,” in: Progr. Transform.: Proc. 3rd Int. Symp. Program., Paris (1978), pp. 81–94.

Download references

Authors
  1. V. M. Glushkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. E. Tseitlin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. L. Yushchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 4, pp. 42–65, July–August, 1981.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Glushkov, V.M., Tseitlin, G.E. & Yushchenko, E.L. Multilevel structured program design: Formalization and applications. Cybern Syst Anal 17, 474–497 (1981). https://doi.org/10.1007/BF01082478

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation