Preview
Unable to display preview. Download preview PDF.
References
Brown, Gries, and Szymanski, "Program schemes with pushdown stores", SIAM J. Comput. 1, 1972.
Constable and Gries, "On classes of program schemata," SIAM J. Computing,1, 1972.
Garland and Luckham, "Program schemes, recursion schemes, and formal languages", JCSS, 7, 1973.
Kfoury, "Loop elimination and loop reduction", Proceedings of 21st Symposium on FOCS, 1980.
Luckham, Park, and Paterson, "On formalized computer programs", JCSS, 4, 1970.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kfoury, A.J. (1982). Some connections between iterative programs, recursive programs, and first-order logic. In: Kozen, D. (eds) Logics of Programs. Logic of Programs 1981. Lecture Notes in Computer Science, vol 131. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025781
Download citation
DOI: https://doi.org/10.1007/BFb0025781
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11212-9
Online ISBN: 978-3-540-39047-3
eBook Packages: Springer Book Archive