Preview
Unable to display preview. Download preview PDF.
References
A.P.Ershov "Theory of Program Schemata", Proc. of IFIP Congress 71, North Holland, 1972.
A.A.Letichevsky "Functional Equivalence of Discrete Processors III" Cybernetics, No.1, 1972 (in Russian).
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.
M.S.Paterson "Decision Problems in Computational Models", Proc. of ACM Symposium on Proving Assertions about Programs, New Mexico, 1972.
G.N.Petrosyan "On a Basis of Operators and Predicates with Unsol — vable Problem of Emptiness", Cybernetics, No.5, 1974 (in Russian).
A.B.Godlevsky "On One Case of Special Problem of Functional Equivalence over Memory", Cybernetics, No.3, 1974 (in Russian).
A.V.Aho, J.D.Ullman "The Theory of Languages", Mathematical Systems Theory, v.2, No.2, 1968.
A.B.Godlevsky "Some Special Cases of Automata Halting and Functional Equivalence Problems", Cybernetics, No.4, 1973 (in Russian).
Author information
Authors and Affiliations
Editor information
Rights 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