2026-07-21T23:35:11Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1428 2024-03-06T11:07:56Z ddc:004 open_access

08061 Abstracts Collection – Types, Logics and Semantics for State Ahmed, Amal Benton, Nick Hofmann, Martin Morrisett, Greg Mutable State Program Logics Semantics Type Systems Program Analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8061, Types, Logics and Semantics for State (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08061.1 urn:nbn:de:0030-drops-14281 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08061.1 eng https://creativecommons.org/licenses/by/4.0/legalcode