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: Schwinghammer:Jan
Contributed to:
2011
2011
2011
201120102009
20082006
2005Wrote 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.
- LICS-2011-BirkedalMSS
- 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.