Lecture: Friday, September 23, 2016 – Sir C. Antony R. Hoare

Sir Tony Hoare: “A finite geometric representation of computer program behaviour”


Scientists often illustrate the behaviour of a dynamic system by a geometric diagram, in which one dimension represents the passage of time, and the other(s) represent distribution of objects in space. We develop a non-metric finite plane geometry as an intuitive representation of the behaviour of a computer program running on a modern distributed network of concurrent processors. Our hope is to prove a collection of algebraic laws that are used for the implementation and optimisation of programs.