[mod.ai] Seminar - Possible-World Semantics

Daniel.Leivant@THEORY.CS.CMU.EDU.UUCP (12/03/86)

Professor Robert Tennent of Queen's University (Ontario) will
be visiting the Department from Wednesday (Dec 3rd) to Friday noon
(Dec 5th).  People interested in meeting with him should contact
Theona Stefanis (@a, x3825).

======================================================================

                 LOGIC COLLOQUIUM  (CMU/PITT)


Speaker:  Robert D. Tennent (Queen's University)

Topic:  Possible-World Semantics of Programming Languages and Logics

Time:  Thursday, December 4, 3:30
Place: Wean 4605 

     A category-theoretic formulation of a form of
possible-world semantics allows elegant solutions to some
difficult problems in the modeling of (i) stack-oriented
storage management; (ii) Reynolds's "specification logic" (a
generalization of Hoare's logic for Algol 60-like languages
with procedures); and (iii) side-effect-free block expres-
sions.  A recent development has been the realization that
it is possible and desirable to use a kind of generalized
domain theory in this framework.  Some additional possible
applications of the approach to modeling abstract interpre-
tations and the polymorphic lambda calculus will also be
sketched.