Retrospectiva: una base axiomática para la programación
Con ocasión del 40 aniversario de la publicación de su famoso artículo
Hoare, C.A.R. “An axiomatic basis for computer programming”. Communications of the ACM, Vol. 12, No. 10, pp. 576–580, October 1969
Tony Hoare publica una revisión de sus pensamientos sobre el tema:
Hoare, C.A.R. “Retrospective: An Axiomatic Basis for Computer Programming”. Communications of the ACM, Vol. 52, No. 10, pp. 30–32, October 2009