Modelling, Controlling and Reasoning About State

Keyphrases

Publications

2010

Robert Dockins, Aquinas Hobor
A Theory of Termination via Indirection. Modelling, Controlling and Reasoning About State (2010)
Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State (2010)
Andrew M. Pitts
Step-Indexed Biorthogonality: a Tutorial Example. Modelling, Controlling and Reasoning About State (2010)
Nick Benton, Chung-Kil Hur
Step-Indexing: The Good, the Bad and the Ugly. Modelling, Controlling and Reasoning About State (2010)
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
Limitations of Applicative Bisimulation (Preliminary Report). Modelling, Controlling and Reasoning About State (2010)
Nikos Tzevelekos
Program Equivalence with Names. Modelling, Controlling and Reasoning About State (2010)
Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
10351 Executive Summary - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State (2010)

volume 10351, 2010

Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010 Modelling, Controlling and Reasoning About State 10351 (2010)