Links und Funktionen
Sprachumschaltung

Navigationspfad
You are here: Home / Publikationen / 08061 Executive Summary - Types, Logics and Semantics for State


Inhaltsbereich

Amal Ahmed, Nick Benton, Martin Hofmann, and Greg Morrisett (2008)

08061 Executive Summary - Types, Logics and Semantics for State

In: Types, Logics and Semantics for State, 03.02. - 08.02.2008, ed. by Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett, vol. 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings.

From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State” Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in many$~$ ifferent aspects of modelling and reasoning about mutable state, met to present their current work and discuss ongoing projects and open problems.

Program Analysis, Mutable State, Semantics, Type Systems, Program Logics

Document Actions


Funktionsleiste