Proof of correctness of data representations

Authors:
C. A. R. Hoare
Affiliations:
Computer Science, The Queen's University of Belfast, Belfast BT 71 NN, Northern Ireland
Venue:
Software pioneers
Year:
2002

Citing 4
Cited 1

Program development by stepwise refinement

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
An algebraic definition of simulation between programs

An algebraic definition of simulation between programs
SIMULA 67 common base language, (Norwegian Computing Center. Publication)

SIMULA 67 common base language, (Norwegian Computing Center. Publication)

An observationally complete program logic for imperative higher-order functions

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.