Dagstuhl Seminar Proceedings 08061
Types, Logics and Semantics for State
A. Ahmed, N. Benton, M. Hofmann, G. Morrisett (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 08061, 03.02. - 08.02.2008
Additional Information
Seminar Homepage
License
Search Publication Server
Support
Microsoft Research, Cambridge, UK
Authors
Ahmed, Amal
Benton, Nick
Drossopoulou, Sophia
Francalanza, Adrian
Hofmann, Martin
Morrisett, Greg
Müller, P.
Summers, Alexander J.
08061 Abstracts Collection -- Types, Logics and Semantics for State
Authors:
Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg
Abstract
|
Document (200 KB)
|
BibTeX
08061 Executive Summary -- Types, Logics and Semantics for State
Authors:
Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg
Abstract
|
Document (173 KB)
|
BibTeX
A Unified Framework for Verification Techniques for Object Invariants
Authors:
Drossopoulou, Sophia ; Francalanza, Adrian ; Müller, P. ; Summers, Alexander J.
Abstract
|
Document (395 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy
