Showing 1 - 3 results of 3 for search 'Torp−Smith, N', query time: 0.03s Refine Results
  1. 1
    Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages

    Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages by Birkedal, L, Torp−Smith, N, Yang, H

    Published 2006
    Journal article
  2. 2
    Semantics of Separation−logic Typing and Higher−order Frame Rules

    Semantics of Separation−logic Typing and Higher−order Frame Rules by Birkedal, L, Torp−Smith, N, Yang, H

    Published 2005
    Conference item
  3. 3
    Blaiming the Client: On Data Refinement in the Presence of Pointers

    Blaiming the Client: On Data Refinement in the Presence of Pointers by Filipovic, I, O’Hearn, P, Torp−Smith, N, Yang, H

    Published 2010
    Journal article

Search Tools: