Jan Schwinghammer

27 papers A* 2A 1B 7Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2015 J jnl
Observational program calculi and the correctness of translations.
Theor. Comput. Sci.
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
2013 J jnl
A step-indexed Kripke model of hidden state.
Math. Struct. Comput. Sci.
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
2013 J jnl
Step-Indexed Relational Reasoning for Countable Nondeterminism.
Log. Methods Comput. Sci.
Lars Birkedal, Ales Bizjak, Jan Schwinghammer
2012 J jnl
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Log. Methods Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
2011 B conf
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.
FoSSaCS
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
2011 A* conf
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.
LICS
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
2011 J jnl
Nested Hoare Triples and Frame Rules for Higher-order Store
Log. Methods Comput. Sci.
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
2011 B conf
Step-Indexed Relational Reasoning for Countable Nondeterminism.
CSL
Jan Schwinghammer, Lars Birkedal
2011 A* conf
Step-indexed kripke models over recursive worlds.
POPL
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
2010 — conf
A Metric Model of Lambda Calculus with Guarded Recursion.
FICS
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
2010 B conf
A Semantic Foundation for Hidden State.
FoSSaCS
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
2010 — conf
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.
FICS
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
2009 J jnl
A Step-indexed Semantics of Imperative Objects
Log. Methods Comput. Sci.
Catalin Hritcu, Jan Schwinghammer
2009 J jnl
Coherence of subsumption for monadic types.
J. Funct. Program.
Jan Schwinghammer
2009 — conf
Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal.
LFMTP
Christian Doczkal, Jan Schwinghammer
2009 B conf
Nested Hoare Triples and Frame Rules for Higher-Order Store.
CSL
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
2008 — conf
A Simple Model of Separation Logic for Higher-Order Store.
ICALP (2)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
2008 — conf
Adequacy of Compositional Translations for Observational Semantics.
IFIP TCS
Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel
2007 B conf
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures.
MFPS
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
2007 — conf
On Normalization by Evaluation for Object Calculi.
TYPES
Jan Schwinghammer
2006 J jnl
A concurrent lambda calculus with futures.
Theor. Comput. Sci.
Joachim Niehren, Jan Schwinghammer, Gert Smolka
2006 J jnl
Denotational semantics for a program logic of objects.
Math. Struct. Comput. Sci.
Bernhard Reus, Jan Schwinghammer
2006 B conf
Separation Logic for Higher-Order Store.
CSL
Bernhard Reus, Jan Schwinghammer
2005 — conf
A Concurrent Lambda Calculus with Futures.
FroCoS
Joachim Niehren, Jan Schwinghammer, Gert Smolka
2005 — conf
A Typed Semantics of Higher-Order Store and Subtyping.
ICTCS
Jan Schwinghammer
2005 A conf
Denotational Semantics for Abadi and Leino's Logic of Objects.
ESOP
Bernhard Reus, Jan Schwinghammer
2004 B conf
Effciently Computing the Density of Regular Languages.
LATIN
Manuel Bodirsky, Tobias Gärtner, Timo von Oertzen, Jan Schwinghammer