Preview
Unable to display preview. Download preview PDF.
References
Apt, K., Ten years of Hoare Logic: a survey — Part I, ACM Trans. on Progr. Lang. and Systems, 3, 1981.
Constable, R.L., Gries, D., On classes of program schemata, SIAM J. Comput., 1, 1972.
Clarke, E.M., German, S.M., Halpern, J.Y., Effective axiomatizations of Hoare Logics, Journal ACM, 30, 1983.
de Bakker, J., Mathematical theory of program correctness, Prentice-Hall, 1980.
German, S.M., Clarke, E.M., Halpern, J.Y., True relative completeness of an axiom system for the language L-4, Proc. LICS'86.
Kfoury, A.J., Urzyczyn, P., Finitely typed functional programs, Part II, to appear.
Kfoury, A.J., Tiuryn, J., Urzyczyn, P., The hierarchy of simply typed functional programs, to appear Proc. LICS'87
Tiuryn, J., Higher-order arrays and stacks in programming. An application of complexity theory to logics of programs, Proc. MFCS'86.
Tiuryn, J., Urzyczyn, P., Some relationships between logics of programs and complexity theory, Proc. FOCS'83.
Urzyczyn, P., A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs, Inf. Control, 56, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalczyk, W., Urzyczyn, P. (1987). Verification of programs with higher-order arrays. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_53
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive