Preview
Unable to display preview. Download preview PDF.
References
de Bakker, J.W., Recursive procedures Math. Centre Tracts 24, Math. Centre Amsterdam, 1971.
de Bakker, J.W., and Meertens, L.G.L.T., Simple recursive program schemes and inductive assertions Math. Centre Report M142, Math. Centre Amsterdam, 1972
de Bakker, J.W., and de Roever, W.P., A calculus for recursive program schemes Proc. IRIA Symp. on Automata, Form.lang., Programming North Holland, Amsterdam (ed. Nivat)
Hoare, C.A.R., An axiomatic basis for computer programming C.ACM 12 pp. 576–583 (1969)
Fokkinga, M.M., Inductive Assertion Patterns for Recursive Procedures Techn. University Delft Report, 1973 (25 pp's)
Recently there has appeared
de Bakker, J.W. and Meertens, L.G.L.T., On the completeness of the inductive assertion method Math. Centre Report IW 12, Math. Centre Amsterdam, 1973. which is a generalisation of [2] and includes our results, however proved in a different way.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fokkinga, M.M. (1974). Inductive assertion patterns for recursive procedures. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_136
Download citation
DOI: https://doi.org/10.1007/3-540-06859-7_136
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06859-4
Online ISBN: 978-3-540-37819-8
eBook Packages: Springer Book Archive