BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Germany
1 × Hungary
1 × Iceland
1 × Norway
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
L.Birkedal B.Reus H.Yang K.Støvring R.E.Møgelberg F.Pottier J.Thamsborg
Talks about:
step (5) index (4) recurs (3) higher (3) store (3) order (3) model (3) logic (3) semant (2) hidden (2)

Person: Jan Schwinghammer

DBLP DBLP: Schwinghammer:Jan

Contributed to:

CSL 20112011
FOSSACS 20112011
LICS 20112011
POPL 20112011
FOSSACS 20102010
CSL 20092009
ICALP (2) 20082008
CSL 20062006
ESOP 20052005

Wrote 9 papers:

CSL-2011-SchwinghammerB #nondeterminism #reasoning #relational
Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.
FoSSaCS-2011-SchwinghammerBS #metric #recursion
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
POPL-2011-BirkedalRSSTY #modelling #recursion
Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.
FoSSaCS-2010-SchwinghammerYBPR #semantics
A Semantic Foundation for Hidden State (JS, HY, LB, FP, BR), pp. 2–17.
CSL-2009-SchwinghammerBRY #higher-order #hoare
Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.
ICALP-B-2008-BirkedalRSY #higher-order #logic
A Simple Model of Separation Logic for Higher-Order Store (LB, BR, JS, HY), pp. 348–360.
CSL-2006-ReusS #higher-order #logic
Separation Logic for Higher-Order Store (BR, JS), pp. 575–590.
ESOP-2005-ReusS #logic #semantics
Denotational Semantics for Abadi and Leino’s Logic of Objects (BR, JS), pp. 263–278.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.