Noah Torp-Smith

According to our database, Noah Torp-Smith authored at least 7 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Blaming the client: on data refinement in the presence of pointers.

Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang

Formal Aspects Comput., 2010

2008

Local reasoning about a copying garbage collector.

Noah Torp-Smith, Lars Birkedal, John C. Reynolds

ACM Trans. Program. Lang. Syst., 2008

2007

BI-hyperdoctrines, higher-order separation logic, and abstraction.

Bodil Biering, Lars Birkedal, Noah Torp-Smith

ACM Trans. Program. Lang. Syst., 2007

2006

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages.

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

Log. Methods Comput. Sci., 2006

2005

Semantics of Separation-Logic Typing and Higher-Order Frame Rules.

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

BI Hyperdoctrines and Higher-Order Separation Logic.

Bodil Biering, Lars Birkedal, Noah Torp-Smith

Proceedings of the Programming Languages and Systems, 2005

2004

Refinement and Separation Contexts.

Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004