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.