Dagstuhl Seminar Proceedings 10351

Modelling, Controlling and Reasoning About State

A. Ahmed, N. Benton, L. Birkedal, M. Hofmann (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 10351, 29.08. - 03.09.2010
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Ahmed, Amal
  • Benton, Nick
  • Birkedal, Lars
  • Dockins, Robert
  • Hobor, Aquinas
  • Hofmann, Martin
  • Hur, Chung-Kil
  • Koutavas, Vasileios
  • Levy, Paul Blain
  • Pitts, Andrew M.
  • Sumii, Eijiro
  • Tzevelekos, Nikos

  •   
    10351 Abstracts Collection -- Modelling, Controlling and Reasoning About State
    Authors: Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin

    Abstract | Document (189 KB) | BibTeX

    10351 Executive Summary -- Modelling, Controlling and Reasoning About State
    Authors: Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin

    Abstract | Document (100 KB) | BibTeX

    A Theory of Termination via Indirection
    Authors: Dockins, Robert ; Hobor, Aquinas

    Abstract | Document (165 KB) | BibTeX

    Limitations of Applicative Bisimulation (Preliminary Report)
    Authors: Koutavas, Vasileios ; Levy, Paul Blain ; Sumii, Eijiro

    Abstract | Document (196 KB) | BibTeX

    Program Equivalence with Names
    Authors: Tzevelekos, Nikos

    Abstract | Document (194 KB) | BibTeX

    Step-Indexed Biorthogonality: a Tutorial Example
    Authors: Pitts, Andrew M.

    Abstract | Document (506 KB) | BibTeX

    Step-Indexing: The Good, the Bad and the Ugly
    Authors: Benton, Nick ; Hur, Chung-Kil

    Abstract | Document (344 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI