Hoare on the definition and purpose of the Hoare Triple

Tony Hoare, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the definition, origin, and purpose of the "Hoare Triple". This clip taken from an interview conducted with Hoare by Cliff Jones for the ACM on November 24. 2015. Video of the full interview is available as part of Hoare’s ACM profile at https://amturing.acm.org/award_winners/hoare_4622167.cfm.