The following pages link to Noah Torp-Smith (Q607402):
Displayed 5 items.
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Local reasoning about a copying garbage collector (Q3452262) (← links)
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages (Q5310672) (← links)
- Programming Languages and Systems (Q5316567) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465874) (← links)