| 2008 |
|---|
| 8 | EE | Noah Torp-Smith,
Lars Birkedal,
John C. Reynolds:
Local reasoning about a copying garbage collector.
ACM Trans. Program. Lang. Syst. 30(4): (2008) |
| 2007 |
|---|
| 7 | EE | Bodil Biering,
Lars Birkedal,
Noah Torp-Smith:
BI-hyperdoctrines, higher-order separation logic, and abstraction.
ACM Trans. Program. Lang. Syst. 29(5): (2007) |
| 2006 |
|---|
| 6 | EE | Lars Birkedal,
Noah Torp-Smith,
Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages
CoRR abs/cs/0610081: (2006) |
| 5 | EE | Lars Birkedal,
Noah Torp-Smith,
Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages.
Logical Methods in Computer Science 2(5): (2006) |
| 2005 |
|---|
| 4 | EE | Bodil Biering,
Lars Birkedal,
Noah Torp-Smith:
BI Hyperdoctrines and Higher-Order Separation Logic.
ESOP 2005: 233-247 |
| 3 | EE | Lars Birkedal,
Noah Torp-Smith,
Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-Order Frame Rules.
LICS 2005: 260-269 |
| 2004 |
|---|
| 2 | EE | Ivana Mijajlovic,
Noah Torp-Smith,
Peter W. O'Hearn:
Refinement and Separation Contexts.
FSTTCS 2004: 421-433 |
| 1 | EE | Lars Birkedal,
Noah Torp-Smith,
John C. Reynolds:
Local reasoning about a copying garbage collector.
POPL 2004: 220-231 |
