
Search the dblp DataBase
Jan Schwinghammer:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Bernhard Reus, Jan Schwinghammer
Separation Logic for HigherOrder Store. [Citation Graph (0, 0)][DBLP] CSL, 2006, pp:575590 [Conf]
 Bernhard Reus, Jan Schwinghammer
Denotational Semantics for Abadi and Leino's Logic of Objects. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:263278 [Conf]
 Joachim Niehren, Jan Schwinghammer, Gert Smolka
A Concurrent Lambda Calculus with Futures. [Citation Graph (0, 0)][DBLP] FroCos, 2005, pp:248263 [Conf]
 Jan Schwinghammer
A Typed Semantics of HigherOrder Store and Subtyping. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:390405 [Conf]
 Manuel Bodirsky, Tobias Gärtner, Timo von Oertzen, Jan Schwinghammer
Effciently Computing the Density of Regular Languages. [Citation Graph (0, 0)][DBLP] LATIN, 2004, pp:262270 [Conf]
 Joachim Niehren, David Sabel, Manfred SchmidtSchauß, Jan Schwinghammer
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:313337 [Journal]
 Joachim Niehren, Jan Schwinghammer, Gert Smolka
A concurrent lambda calculus with futures. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:364, n:3, pp:338356 [Journal]
Nested Hoare Triples and Frame Rules for HigherOrder Store. [Citation Graph (, )][DBLP]
A Semantic Foundation for Hidden State. [Citation Graph (, )][DBLP]
A Simple Model of Separation Logic for HigherOrder Store. [Citation Graph (, )][DBLP]
Adequacy of Compositional Translations for Observational Semantics. [Citation Graph (, )][DBLP]
On Normalization by Evaluation for Object Calculi. [Citation Graph (, )][DBLP]
A Stepindexed Semantics of Imperative Objects [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
