Preview
Unable to display preview. Download preview PDF.
References
de Bakker, J. W., Klop, J. W., Meyer, J.-J. Ch. Correctness of programs with function procedures. Tech. Rept. IW 170/81, Mathematisch Centrum, Amsterdam, 1981.
Clarke, H. M. "Programming language constructs for which it is impossible to obtain good Hoare-like axioms." jACM 26 (1979), 129–147.
Clarke, E. M., Jr., German, S., and Halpern, J. Y. "Effective axiomatization of Hoare logics." JACM 30 (1983), 612–636.
Cook, S. A. "Soundness and completeness of an axiom system for program verification." SIAM J. Comput. 7 (1978), 70–90.
Damm, W. and Josko, B. A sound and relatively complete Hoare-logic for a language with higher type procedures. Tech. Rept. Bericht No. 77, Lehrstuhl fur Informatik II, RWTH Aachen, April, 1982.
Damm, W. and Josko, B. personal communication.
German, S. Relative completeness proofs for languages with infinite range.
German, S. and Halpern, J. On the power of acceptable programming languages with recursion.
Olderog, E.-R. "Sound and complete Hoare-like calculi based on copy rules." Acta Informatica 16 (1981), 161–197.
Olderog, E.-R. "Hoare-style proof and formal computations." Jahrestagugn, IFB 50 GI-II (1981), 65–71.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
German, S.M., Clarke, E.M., Halpern, J.Y. (1984). Reasoning about procedures as parameters. In: Clarke, E., Kozen, D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12896-4_365
Download citation
DOI: https://doi.org/10.1007/3-540-12896-4_365
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12896-0
Online ISBN: 978-3-540-38775-6
eBook Packages: Springer Book Archive