* CATS Re: Categorical model for Floyd-Hoare logic?
@ 1998-02-14 18:30 Roy L. Crole
1998-02-15 23:21 ` Barry Jay
0 siblings, 1 reply; 2+ messages in thread
From: Roy L. Crole @ 1998-02-14 18:30 UTC (permalink / raw)
To: categories
There is some work by Paul Taylor on categorical models of while in
Theory and Formal Methods 1993, Springer Workshops in Computing, p302
on.
Roy Crole
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: CATS Re: Categorical model for Floyd-Hoare logic?
1998-02-14 18:30 CATS Re: Categorical model for Floyd-Hoare logic? Roy L. Crole
@ 1998-02-15 23:21 ` Barry Jay
0 siblings, 0 replies; 2+ messages in thread
From: Barry Jay @ 1998-02-15 23:21 UTC (permalink / raw)
To: categories
A semantics of loops (and while-loops) where objects are types (not
predicates) can be found in
@InProceedings(Jay91d,
Author={Jay, C.B.},
Title={Fixpoint and loop constructions as colimits},
Booktitle="Proceedings Summer Conference on Category Theory,
Como 1990",
Editor="A.~Carboni, M.C.~Pedicchio and G.~Rosolini",
Series=Lecture Notes in Mathematics,
Volume=1488,
Publisher=sv,
Year=1991,
Pages={187--192})
and their use to account for tail-recursion is in
@Article(Jay93a,
Author={Jay, C.B.},
Title={Tail recursion through universal invariants},
Journal=Theoretcial Computer Science,
Volume=115,
Year=1993,
Pages={151--189})
Barry Jay
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1998-02-15 23:21 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-02-14 18:30 CATS Re: Categorical model for Floyd-Hoare logic? Roy L. Crole
1998-02-15 23:21 ` Barry Jay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).