Skip to main content

On divergence problem for program schemas

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1976 (MFCS 1976)

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

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A.P.Ershov "Theory of Program Schemata", Proc. of IFIP Congress 71, North Holland, 1972.

    Google Scholar 

  2. A.A.Letichevsky "Functional Equivalence of Discrete Processors III" Cybernetics, No.1, 1972 (in Russian).

    Google Scholar 

  3. D.C.Luckham, D.M.R.Park, M.S.Paterson "On Formalised Computer Programs", Journal of Computer and System Sci., v.4, No.3, 1970.

    Google Scholar 

  4. M.S.Paterson "Decision Problems in Computational Models", Proc. of ACM Symposium on Proving Assertions about Programs, New Mexico, 1972.

    Google Scholar 

  5. G.N.Petrosyan "On a Basis of Operators and Predicates with Unsol — vable Problem of Emptiness", Cybernetics, No.5, 1974 (in Russian).

    Google Scholar 

  6. A.B.Godlevsky "On One Case of Special Problem of Functional Equivalence over Memory", Cybernetics, No.3, 1974 (in Russian).

    Google Scholar 

  7. A.V.Aho, J.D.Ullman "The Theory of Languages", Mathematical Systems Theory, v.2, No.2, 1968.

    Google Scholar 

  8. A.B.Godlevsky "Some Special Cases of Automata Halting and Functional Equivalence Problems", Cybernetics, No.4, 1973 (in Russian).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Antoni Mazurkiewicz

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nepomniaschy, V.A. (1976). On divergence problem for program schemas. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_212

Download citation

  • DOI: https://doi.org/10.1007/3-540-07854-1_212

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07854-8

  • Online ISBN: 978-3-540-38169-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics