Preview
Unable to display preview. Download preview PDF.
References
M.S.Paterson "Decision Problems in Computational Models", Proc. of ACM Symposium on Proving Assertions about Programs, New Mexico, 1972.
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.
V.A.Nepomniaschy "On Divergence Problem for Program Schemas", Proc. of 5th Symp. on Mathematical Foundations of Computer Sci., Lecture Notes in Computer Sci., v.45, 1976.
V.A.Nepomniaschy "On Divergence Problem for Program Schemas I", Programming, No.4, 1976 (in Russian).
A.V.Aho, J.D.Ullman "The Theory of Languages", Mathematical Systems Theory, v.2, No.2, 1968.
W.Ogden "Intercalation Theorems for Stack Languages", Proc. of ACM Symp. on Theory of Computing, Marina del Rey, 1969.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nepomniaschy, V.A. (1978). On divergence and halting problems for monadic program schemas. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_86
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_86
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive