From esik Sun Feb 15 12:43:53 +0100 1998 remote from inf.u-szeged.hu To: categories@mta.ca cc: esik Subject: CATS Re: Categorical model for Floyd-Hoare logic Date: Sun, 15 Feb 1998 12:43:53 +0100 From: Esik Zoltan <esik@inf.u-szeged.hu> 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