Showing 1 - 4 results of 4 for search 'Jan Schwinghammer', query time: 0.03s Refine Results
  1. 1
    A Step-indexed Semantics of Imperative Objects

    A Step-indexed Semantics of Imperative Objects by Catalin Hritcu, Jan Schwinghammer

    Published 2009-12-01
    Get full text
    Article
  2. 2
    Step-Indexed Relational Reasoning for Countable Nondeterminism

    Step-Indexed Relational Reasoning for Countable Nondeterminism by Lars Birkedal, Aleš Bizjak, Jan Schwinghammer

    Published 2013-10-01
    Get full text
    Article
  3. 3
    Nested Hoare Triples and Frame Rules for Higher-order Store

    Nested Hoare Triples and Frame Rules for Higher-order Store by Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

    Published 2011-09-01
    Get full text
    Article
  4. 4
    First steps in synthetic guarded domain theory: step-indexing in the topos of trees

    First steps in synthetic guarded domain theory: step-indexing in the topos of trees by Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring

    Published 2012-10-01
    Get full text
    Article

Search Tools: