Summary
A powerful method of simplifying the proofs of program correctness is suggested; and some new light is shed on the problem of functions with side-effects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wirth, N.: The development of programs by stepwise refinement. Comm. ACM. 14, 221–227 (1971).
Dijkstra, E. W.: Notes on structured programming. In Structured Programming. Academic Press (1972).
Hoare, C. A. R.: Notes on data structuring. Ibid.
Dahl, O.-J.: Hierachical program structures. Ibid.
Milner, R.: An algebraic definition of simulation between programs. CS 205 Stanford University, February 1971.
Dijkstra, E. W.: A constructive approach to the problem of program correctness. BIT. 8, 174–186 (1968).
Dahl, O.-J., Myhrhaug, B., Nygaard, K.: The SIMULA 67 common base language. Norwegian Computing Center, Oslo, Publication No. S-22, 1970.
Hoare, C. A. R.: An axiomatic approach to computer programming. Comm. ACM. 12, 576–580, 583 (1969).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hoare, C.A.R. (2002). Proof of Correctness of Data Representations. In: Broy, M., Denert, E. (eds) Software Pioneers. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59412-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-59412-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63970-8
Online ISBN: 978-3-642-59412-0
eBook Packages: Springer Book Archive