Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Ahmed, Amal; Benton, Nick; Hofmann, Martin; Morrisett, Greg License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-14281
URL:

; ; ;

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

pdf-format:


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:DagSemProc.08061.1,
  author =	{Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg},
  title =	{{08061 Abstracts Collection – Types, Logics and Semantics for State}},
  booktitle =	{Types, Logics and Semantics for State},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8061},
  editor =	{Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1428},
  URN =		{urn:nbn:de:0030-drops-14281},
  doi =		{10.4230/DagSemProc.08061.1},
  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 | Privacy Published by LZI