The Oxford Advanced Seminar on Informatic Structures
 Introduction to OASIS Michaelmas 2004- Hilary 2005
- Trinity 2005
- Michaelmas 2005
- Hilary 2006
- Trinity 2006
- Mathiesen & Oliva
- Michaelmas 2006
- Hilary 2007
- Trinity 2007
- Michaelmas 2007
- Hilary 2008
- Trinity 2008
|
Mathiesen & Oliva
Erik Mathiesen's [www] (speaker) and Paulo Oliva's [www], Queen Mary, London.
TITLE: Traced Monoidal Categories and Hoare Logic
ABSTRACT: Since Hoare Logic for while programs was introduced in the
late 60s many variations have been engineered with specific applications
in mind (e.g. recursive procedures, object oriented programming,
concurrent programs and programs manipulating mutable data structures).
With the aim of developing a sound and complete Hoare Logic for
dynamical systems, we have been studying the intrinsic structure of
Hoare Logics in an attempt to generalize it to a wider class of systems,
covering also dynamical systems. In this talk, I will present a
recasting of Hoare Logic in the setting of category theory which
encapsulates the traditional approaches as well as giving a more
structured way of engineering new sound and complete Hoare Logics.
|
![[Oxford Spires]](http://web.comlab.ox.ac.uk/im/spires.gif){kind=small}