Jan Schwinghammer
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Observational semantics for a concurrent lambda calculus with reference cells and futures Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
| Observational program calculi and the correctness of translations Theoretical Computer Science | 2015-04-01 | Paper |
| Step-indexed Kripke models over recursive worlds Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Step-indexed relational reasoning for countable nondeterminism Logical Methods in Computer Science | 2013-10-16 | Paper |
| A step-indexed Kripke model of hidden state Mathematical Structures in Computer Science | 2013-03-14 | Paper |
| First steps in synthetic guarded domain theory: step-indexing in the topos of trees Logical Methods in Computer Science | 2012-10-22 | Paper |
| Step-indexed relational reasoning for countable nondeterminism | 2012-09-18 | Paper |
| Step-indexed relational reasoning for countable nondeterminism (available as arXiv preprint) | 2012-09-18 | Paper |
| Nested Hoare triples and frame rules for higher-order store Logical Methods in Computer Science | 2012-04-02 | Paper |
| A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
| A semantic foundation for hidden state Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
| A Step-indexed Semantics of Imperative Objects Logical Methods in Computer Science | 2010-01-28 | Paper |
| Nested Hoare Triples and Frame Rules for Higher-Order Store Computer Science Logic | 2009-11-12 | Paper |
| LATIN 2004: Theoretical Informatics Lecture Notes in Computer Science | 2009-05-07 | Paper |
| Coherence of subsumption for monadic types Journal of Functional Programming | 2009-03-25 | Paper |
| Separation Logic for Higher-Order Store Computer Science Logic | 2009-03-12 | Paper |
| A Simple Model of Separation Logic for Higher-Order Store Automata, Languages and Programming | 2008-08-19 | Paper |
| On Normalization by Evaluation for Object Calculi Lecture Notes in Computer Science | 2008-06-03 | Paper |
| A concurrent lambda calculus with futures Theoretical Computer Science | 2007-01-09 | Paper |
| Theoretical Computer Science Lecture Notes in Computer Science | 2006-11-01 | Paper |
| Frontiers of Combining Systems Lecture Notes in Computer Science | 2006-10-10 | Paper |
| Denotational semantics for a program logic of objects Mathematical Structures in Computer Science | 2006-08-10 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2005-09-13 | Paper |
Research outcomes over time
This page was built for person: Jan Schwinghammer
