Dagstuhl Seminar Proceedings 08061

Types, Logics and Semantics for State

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

published by LZI
Host

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
  • Müller, P.
  • Morrisett, Greg
  • 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