Skip to main content
SpringerLink
Log in
Book cover

International Conference on Fundamentals of Computation Theory

FCT 1987: Fundamentals of Computation Theory pp 78–81Cite as

Structure synthesis of parallel programs (Methodology and Tools)

  • Conference paper
  • First Online:

  • 112 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 278))

Abstract

Concepts of structured programming and propositional program logics were anticipated in the systems of algorithmic algebras (SAAs) introduced by V.M. Glushkov in 1965. This paper correlates the SAA language with the known fprmalisms describing logic schemes of structured and unstructured programs. Complete axiomatics are constructed for modified SAAs (SAA-M) oriented towards the formalization of parallel computations and abstract data types. An apparatus formalizing the (top-down, bottom-up, or combined) design of programs is suggested incorporating SAA-M, grammar and automaton models. A method and tools of parallel program design are developed. They feature orientation towards validation, transformations and synthesis of programs.

Theoretical Computer Science

Neither this paper nor any version close to it has been or being offered elsewhere for publication, and, if accepted, the paper will be personally presented at the 10th World Computer Congress by the author or one of the co-authors.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Glushkov W.M., Zeitlin G.E., Justschenko E.I. Algebra. Sprachen. Programming. — Akademie-Verlag, Berlin, 1980, p.340.

    Google Scholar 

  2. Cejtlin G.E. Formal Aspects of Structured GOTO Programming. — Programmirovanie, 1984,No.1,pp.3–16.

    Google Scholar 

  3. Knuth Donald E. Structured Programming GOTO Statements. — Computing Surveys, v.6,No.4,December, 1974, p.292.

    Google Scholar 

  4. Cejtlin G.E.,Jushchenko E.L. Multilevel Synthesis of Structured Programs. — Kibernetika, 1982,No.5,p.p.11–21, 32.

    Google Scholar 

  5. Tsejtlin G.E., Jushchenko E.L. Several Aspects of Theory of Parametric Models of Languages and Parallel Syntactic Analysis. — Lecture Notes in Computer Science, 1977,No.47,pp.231–245.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. V.M.Glushkov Institute of Cybernetics, Academy of Sciences of the Ukranian SSR, 252207, Kiev, USSR

    G. E. Cejtlin & E. L. Jushchenko

Authors
  1. G. E. Cejtlin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. L. Jushchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lothar Budach Rais Gatič Bukharajev Oleg Borisovič Lupanov

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cejtlin, G.E., Jushchenko, E.L. (1987). Structure synthesis of parallel programs (Methodology and Tools). In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-18740-5_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18740-0

  • Online ISBN: 978-3-540-48138-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation