Searching for authors named Jan Schwinghammer – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Reasoning about Denotations of Recursive Objects
- …Reasoning about Denotations of Recursive Objects Jan Schwinghammer Submitted for the degree of D…
- Cited by 7 (0 self) – Add To MetaCart
-
Denotational semantics for Abadi and Leino’s logic of objects
- …Denotational Semantics for Abadi and Leino’s Logic of Objects Bernhard Reus and Jan Schwinghammer…
- Cited by 3 (1 self) – Add To MetaCart
-
Separation logic for higher-order store
- …Separation Logic for Higher-order Store Bernhard Reus 1 and Jan Schwinghammer 2 1 Department…
- Cited by 6 (1 self) – Add To MetaCart
-
On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures
- …On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures Jan…
- Add To MetaCart
-
On Proving the Equivalence of Concurrency Primitives
- …On Proving the Equivalence of Concurrency Primitives Jan Schwinghammer 1 , David Sabel 2 , Joachim…
- Add To MetaCart
-
A Concurrent Lambda Calculus with Futures
- … at des Saarlandes Saarbr ucken, Germany Jan Schwinghammer School of Cognitive and Computing Sciences…
- Cited by 13 (4 self) – Add To MetaCart
-
Adequacy of compositional translations for observational semantics
- … , Joachim Niehren 2 , Jan Schwinghammer 3 , and David Sabel 1 1 J. W. Goethe-Universität, Frankfurt, Germany…
- Cited by 2 (2 self) – Add To MetaCart
-
Efficiently Dealing with Periods
- … Jan Schwinghammer 2 timovoe@(email omitted); jan@(email omitted); 1 Department Algorithms…
- Add To MetaCart
Showing 1 through 8.
