Programming Systems Lab: Publications by David Sabel

Saarland University Computer Science

Select author:

2010

Correctness of Program Translations for Observational Semantics   (pdf)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Draft

2009

Correctly Translating Concurrency Primitives   (pdf)
Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauß, Joachim Niehren
2009 ACM SIGPLAN Workshop on ML (ML'09)

On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures   (pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report

2008

On Proving the Equivalence of Concurrency Primitives   (pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report

Adequacy of Compositional Translations for Observational Semantics   (pdf)
Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, Jan Schwinghammer
5th IFIP International Conference on Theoretical Computer Science

2007

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures   (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII)

2006

Program Equivalence for a Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Technical Report, Revised version appeared Proc. of Mathematical Foundations of Programming Semantics (23rd MFPS), April 2007


Login to edit


Webmaster, Mon May 30 13:48:30 2016