Dagstuhl Seminar Proceedings 08061

Types, Logics and Semantics for State

A. Ahmed, N. Benton, M. Hofmann, G. Morrisett (Eds.)

Sponsored by Microsoft Research, Cambridge, UK

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 08061, 03.02. - 08.02.2008
Additional Information
Seminar Homepage
Copyright
Search Publication Server

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 | Fulltext Search | Imprint
    Published by LZI