IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski


Talk "Program semantics, according to Heisenberg and to Schroedinger."

by Bart Jacobs

Thu, 09 January 2014 at 01:30 pm in Theddingworth near Leicester, UK

Abstract: Dualities occur naturally in program semantics, via the duality between state transformer and predicate transformer semantics. In the foundations of quantum mechanics there is a fundamental duality between states and effects; it is commonly associated with differences in approaches of Schroedinger and Heisenberg. The talk presents ongoing work towards a common (categorical) setting in which to describe such program semantics and the associated dualities.

Slides