 | 2011 |
|---|
| 6 |       | Thomas Dinsdale-Young,
Philippa Gardner,
Mark J. Wheelhouse:
Abstract Local Reasoning for Program Modules.
CALCO 2011: 36-39 |
| 5 | | Pedro da Rocha Pinto,
Thomas Dinsdale-Young,
Mike Dodds,
Philippa Gardner,
Mark J. Wheelhouse:
A simple abstraction for complex concurrent indexes.
OOPSLA 2011: 845-864 |
| 2010 |
|---|
| 4 | | Thomas Dinsdale-Young,
Mike Dodds,
Philippa Gardner,
Matthew J. Parkinson,
Viktor Vafeiadis:
Concurrent Abstract Predicates.
ECOOP 2010: 504-528 |
| 3 | | Thomas Dinsdale-Young,
Philippa Gardner,
Mark J. Wheelhouse:
Abstraction and Refinement for Local Reasoning.
VSTTE 2010: 199-215 |
| 2 | | Cristiano Calcagno,
Thomas Dinsdale-Young,
Philippa Gardner:
Adjunct elimination in Context Logic for trees.
Inf. Comput. 208(5): 474-499 (2010) |
| 2007 |
|---|
| 1 | | Cristiano Calcagno,
Thomas Dinsdale-Young,
Philippa Gardner:
Adjunct Elimination in Context Logic for Trees.
APLAS 2007: 255-270 |
Data released under the ODC-BY 1.0 license — See also our legal information page