## 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.