| * | 2009 |
|---|
| 14 | EE | Jan Schwinghammer,
Lars Birkedal,
Bernhard Reus,
Hongseok Yang:
Nested Hoare Triples and Frame Rules for Higher-Order Store.
CSL 2009: 440-454 |
| 13 | EE | Catalin Hritcu,
Jan Schwinghammer:
A Step-indexed Semantics of Imperative Objects
CoRR abs/0906.1350: (2009) |
| 12 | EE | Jan Schwinghammer:
Coherence of subsumption for monadic types.
J. Funct. Program. 19(2): 157-172 (2009) |
| 2008 |
|---|
| 11 | EE | Lars Birkedal,
Bernhard Reus,
Jan Schwinghammer,
Hongseok Yang:
A Simple Model of Separation Logic for Higher-Order Store.
ICALP (2) 2008: 348-360 |
| 10 | EE | Manfred Schmidt-Schauß,
Joachim Niehren,
Jan Schwinghammer,
David Sabel:
Adequacy of Compositional Translations for Observational Semantics.
IFIP TCS 2008: 521-535 |
| 2007 |
|---|
| 9 | EE | Jan Schwinghammer:
On Normalization by Evaluation for Object Calculi.
TYPES 2007: 173-187 |
| 8 | EE | Joachim Niehren,
David Sabel,
Manfred Schmidt-Schauß,
Jan Schwinghammer:
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures.
Electr. Notes Theor. Comput. Sci. 173: 313-337 (2007) |
| 2006 |
|---|
| 7 | EE | Bernhard Reus,
Jan Schwinghammer:
Separation Logic for Higher-Order Store.
CSL 2006: 575-590 |
| 6 | EE | Bernhard Reus,
Jan Schwinghammer:
Denotational semantics for a program logic of objects.
Mathematical Structures in Computer Science 16(2): 313-358 (2006) |
| 5 | EE | Joachim Niehren,
Jan Schwinghammer,
Gert Smolka:
A concurrent lambda calculus with futures.
Theor. Comput. Sci. 364(3): 338-356 (2006) |
| 2005 |
|---|
| 4 | EE | Bernhard Reus,
Jan Schwinghammer:
Denotational Semantics for Abadi and Leino's Logic of Objects.
ESOP 2005: 263-278 |
| 3 | EE | Joachim Niehren,
Jan Schwinghammer,
Gert Smolka:
A Concurrent Lambda Calculus with Futures.
FroCos 2005: 248-263 |
| 2 | EE | Jan Schwinghammer:
A Typed Semantics of Higher-Order Store and Subtyping.
ICTCS 2005: 390-405 |
| 2004 |
|---|
| 1 | EE | Manuel Bodirsky,
Tobias Gärtner,
Timo von Oertzen,
Jan Schwinghammer:
Effciently Computing the Density of Regular Languages.
LATIN 2004: 262-270 |
