In Praise of Algebra
Info
|
Date |
4th March 2011 (week 7, Hilary Term 2011) |
|
Time |
12:00 |
|
Place |
Lecture Theatre A, Oxford University Computing Laboratory |
Abstract
George Boole was a pioneer of the algebraic presentation of logic. I will suggest algebra as a simple way of presenting the semantics of broad families of programming languages. It neatly characterises the similarities and differences between members of the family. Denotational, operational, and deductive semantic presentations can be readily derived by algebraic proof. When the language is extended, all the derivations and theorems remain valid. The simplicity derives from the Oxford tradition that fact Programs are Predicates – in that they directly describe their own execution.
Further info
|
Related series |
|
