On divergence problem for program schemas

  • V. A. Nepomniaschy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A.P.Ershov "Theory of Program Schemata", Proc. of IFIP Congress 71, North Holland, 1972.Google Scholar
  2. 2.
    A.A.Letichevsky "Functional Equivalence of Discrete Processors III" Cybernetics, No.1, 1972 (in Russian).Google Scholar
  3. 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. 4.
    M.S.Paterson "Decision Problems in Computational Models", Proc. of ACM Symposium on Proving Assertions about Programs, New Mexico, 1972.Google Scholar
  5. 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. 6.
    A.B.Godlevsky "On One Case of Special Problem of Functional Equivalence over Memory", Cybernetics, No.3, 1974 (in Russian).Google Scholar
  7. 7.
    A.V.Aho, J.D.Ullman "The Theory of Languages", Mathematical Systems Theory, v.2, No.2, 1968.Google Scholar
  8. 8.
    A.B.Godlevsky "Some Special Cases of Automata Halting and Functional Equivalence Problems", Cybernetics, No.4, 1973 (in Russian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • V. A. Nepomniaschy
    • 1
  1. 1.Computing Center, Siberian DivisionUSSR Academy of SciencesNovosibirskUSSR

Personalised recommendations