In Praise of Algebra

Tony Hoare

Algebra has made important contributions to mathematics and its applications, for example, numerical algebra to arithmetic, and Boolean algebra to hardware design. This talk examines the benefits of algebra, and recommends separation algebra for program specification, design and implementation. Perhaps it will contribute to the power of tools for reasoning directly about software and its correctness.