08061 Executive Summary – Types, Logics and Semantics for State

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

doi:10.4230/DagSemProc.08061.2

Document

08061 Executive Summary – Types, Logics and Semantics for State

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8061
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-04-15

PDF

File

PDF

DagSemProc.08061.2.pdf

Filesize: 172 kB
3 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08061.2
URN: urn:nbn:de:0030-drops-14269

Subject Classification

Keywords

Mutable State
Program Logics
Semantics
Type Systems
Program Analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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 different aspects
of modelling and reasoning about mutable state, met to present their
current work and discuss ongoing projects and open problems.

Cite As Get BibTex

Amal Ahmed, Nick Benton, Martin Hofmann, and Greg Morrisett. 08061 Executive Summary – Types, Logics and Semantics for State. In Types, Logics and Semantics for State. Dagstuhl Seminar Proceedings, Volume 8061, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008) https://doi.org/10.4230/DagSemProc.08061.2

Author Details

Amal Ahmed

Nick Benton

Martin Hofmann

Greg Morrisett

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail