Types, Logics and Semantics for State, 03.02. - 08.02.2008 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett, editors, Types, Logics and Semantics for State, 03.02. - 08.02.2008. Volume 08061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.

Conference: Dagstuhl2008

Abstract is missing.

08061 Executive Summary -- Types, Logics and Semantics for StateAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. [doi]

A Unified Framework for Verification Techniques for Object InvariantsSophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers. [doi]

08061 Abstracts Collection -- Types, Logics and Semantics for StateAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. [doi]

runs on WebDSL