|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
Nested Hoare Triples and Frame Rules for Higher-order Store  |
Logical Methods in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang |
Step-indexed kripke models over recursive worlds. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring |
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal |
Step-Indexed Relational Reasoning for Countable Nondeterminism. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal, Kristian Støvring |
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus |
A Semantic Foundation for Hidden State. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Hritcu, Jan Schwinghammer |
A Step-indexed Semantics of Imperative Objects |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Schwinghammer |
Coherence of subsumption for monadic types. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Doczkal, Jan Schwinghammer |
Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal. |
LFMTP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
Nested Hoare Triples and Frame Rules for Higher-Order Store. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang |
A Simple Model of Separation Logic for Higher-Order Store. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel |
Adequacy of Compositional Translations for Observational Semantics. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer |
On Normalization by Evaluation for Object Calculi. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A concurrent lambda calculus with futures. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Reus, Jan Schwinghammer |
Denotational semantics for a program logic of objects. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Reus, Jan Schwinghammer |
Separation Logic for Higher-Order Store. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer |
A Typed Semantics of Higher-Order Store and Subtyping. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A Concurrent Lambda Calculus with Futures. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Reus, Jan Schwinghammer |
Denotational Semantics for Abadi and Leino's Logic of Objects. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Tobias Gärtner, Timo von Oertzen, Jan Schwinghammer |
Effciently Computing the Density of Regular Languages. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")