论文信息 - Proof of Correctness of Data Representations (Reprint) - 字舞流文

Proof of Correctness of Data Representations (Reprint)

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.

C. A. R. Hoare | C. Hoare

[1] Tony Hoare,et al. Notes on Data Structuring , 1972 .

[2] Niklaus Wirth,et al. Program development by stepwise refinement , 1971, CACM.

[3] Edsger W. Dijkstra,et al. Notes on structured programming , 1970 .

[4] Ole-Johan Dahl,et al. SIMULA 67 common base language, (Norwegian Computing Center. Publication) , 1968 .

[5] Edsger W. Dijkstra,et al. A constructive approach to the problem of program correctness , 1968 .

[6] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[7] Robin Milner,et al. An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.