Preview
Unable to display preview. Download preview PDF.
References
A.A. Letichevsky: Equivalence and optimization of programs, International Symposium on Theoretical Programming, 5 Lecture Notes in Computer Science Springer-Verlag, Berlin-Heidelberg-New York, 1974.
V.E. Itkin: Logiko-termalnaja ekviwalentnost schem program, "Kibernetika", Kiev, No1 /1972/, /in Russian/.
Donald M. Kaplan: Regular Expressions and the Equivalence of Programs, Journal of Computer and System Sciences, vol3 /1969/.
Zbigniew Zwinogrodzki: Equivalence, optimization and asynchronization of program schemata /to be published/.
M.S. Paterson: Program Schemata, Machine Intelligence 3, Edinburgh Univ. Press /1968/.
A.A. Letichevsky: Funkc jonalnaja ekvivalentnost diskretnych preobrazovanii, "Kibernetika", Kiev, No1/1969/ and No2/1970/.
V.E. Itkin and Z. Zwinogrodzki: On Program Schemata Equivalence, Journal of Computer and System Sciences, vol6, No1/1972/.
K. Indermak: On Ianov schemes with one memory location, Proceedings of MFCS Symposium High Tatras, 1973.
E. Ashcroft, Z. Manna, A. Pnueli: Decidable Properties of Monadic Functional Schemes, Journal of Associ. for Com.Machinery, vol. 20, No3 /1973/
A. Kreczmar: Problemy efektywności logiki algorytmicznej, University of Warsaw, 1974/,doctor's thesis, in Polish/.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zwinogrodzki, Z. (1976). Equivalence and optimization of recursive program schemata. 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_230
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_230
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