Showing 1 - 7 results of 7 for search 'Schwinghammer, J', query time: 0.02s Refine Results
  1. 1
    A Simple Model of Separation Logic for Higher−Order Store

    A Simple Model of Separation Logic for Higher−Order Store by Birkedal, L, Reus, B, Schwinghammer, J, Yang, H

    Published 2008
    Conference item
  2. 2
    Nested Hoare Triples and Frame Rule for Higher−order Store

    Nested Hoare Triples and Frame Rule for Higher−order Store by Schwinghammer, J, Birkedal, L, Reus, B, Yang, H

    Published 2009
    Conference item
  3. 3
    Nested Hoare Triples and Frame Rule for Higher−order Store

    Nested Hoare Triples and Frame Rule for Higher−order Store by Schwinghammer, J, Birkedal, L, Reus, B, Yang, H

    Published 2011
    Journal article
  4. 4
    A Semantic Foundation for Hidden State

    A Semantic Foundation for Hidden State by Schwinghammer, J, Yang, H, Birkedal, L, Pottier, F, Reus, B

    Published 2010
    Conference item
  5. 5
    Step-Indexed Kripke Models over Recursive Worlds

    Step-Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

    Published 2011
    Journal article
  6. 6
    A Step−Indexed Kripke Model of Hidden State

    A Step−Indexed Kripke Model of Hidden State by Schwinghammer, J, Birkedal, L, Pottier, F, Reus, B, Stovring, K, Yang, H

    Published 2011
    Journal article
  7. 7
    Step−Indexed Kripke Models over Recursive Worlds

    Step−Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

    Published 2011
    Conference item

Search Tools: