License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14281
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1428/
Go to the corresponding Portal


Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg

08061 Abstracts Collection -- Types, Logics and Semantics for State

pdf-format:
Document 1.pdf (200 KB)


Abstract

From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 ``Types, Logics and Semantics for State'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

BibTeX - Entry

@InProceedings{ahmed_et_al:DSP:2008:1428,
  author =	{Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett},
  title =	{08061 Abstracts Collection -- Types, Logics and Semantics for State},
  booktitle =	{Types, Logics and Semantics for State},
  year =	{2008},
  editor =	{Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett},
  number =	{08061},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1428},
  annote =	{Keywords: Mutable State, Program Logics, Semantics, Type Systems, Program Analysis}
}

Keywords: Mutable State, Program Logics, Semantics, Type Systems, Program Analysis
Seminar: 08061 - Types, Logics and Semantics for State
Issue Date: 2008
Date of publication: 15.04.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI