From: [email-masked]
Date: Sun, 15 Feb 98 12:43 MET

>From esik Sun Feb 15 12:43:53 +0100 1998 remote from inf.u-szeged.hu
To: [email-masked]
cc: esik
Subject: CATS Re: Categorical model for Floyd-Hoare logic
Date: Sun, 15 Feb 1998 12:43:53 +0100
From: Esik Zoltan <[email-masked]>
Received: from inf.u-szeged.hu by inf.u-szeged.hu; Sun, 15 Feb 1998 12:43 MET
Content-Type: text
Content-Length: 561

> Has there been work on a categorical model for 
> "while programs" (or,equivalently, assembly 
> language) and Floyd-Hoare logic?

The books

E.G. Manes: Predicate Transformer Semantics,
Cambridge University Press, 1992 

S.L. Bloom and Z. Esik: Iteration theories, 
Springer, 1993 (see in particular chapter 12
and 14)

and the paper

S.L. Bloom and Z. Esik: Floyd-Hoare logic 
in iteration theories, JACM, 38(1991), 887--934

consider such models. The books also contain 
references to other papers (including 
papers by Elgot and others). 

Zoltan Esik