David Sabel
David Sabel
Verified email at ifi.lmu.de - Homepage
Title
Cited by
Cited by
Year
Safety of Nöcker's strictness analysis
M Schmidt-Schauß, D Sabel, M Schütz
Journal of functional programming 18 (4), 503-551, 2008
642008
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
D Sabel, M Schmidt-Schauß
Mathematical Structures in Computer Science 18 (3), 501-553, 2008
532008
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
D Sabel, M Schmidt-Schauß
Mathematical Structures in Computer Science 18 (3), 501-553, 2008
532008
Observational semantics for a concurrent lambda calculus with reference cells and futures
J Niehren, D Sabel, M Schmidt-Schauß, J Schwinghammer
Electronic Notes in Theoretical Computer Science 173, 313-337, 2007
432007
A contextual semantics for Concurrent Haskell with futures
D Sabel, M Schmidt-Schauß
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
412011
On generic context lemmas for higher-order calculi with sharing
M Schmidt-Schauß, D Sabel
Theoretical computer science 411 (11-13), 1521-1541, 2010
31*2010
Conservative concurrency in Haskell
D Sabel, M Schmidt-Schauß
2012 27th Annual IEEE Symposium on Logic in Computer Science, 561-570, 2012
262012
Adequacy of compositional translations for observational semantics
M Schmidt-Schauß, J Niehren, J Schwinghammer, D Sabel
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
242008
Improvements in a functional core language with call-by-need operational semantics
M Schmidt-Schauß, D Sabel
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
22*2015
Simulation in the call-by-need lambda-calculus with letrec
M Schmidt-Schauß, D Sabel, E Machkasova
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
172010
Observational program calculi and the correctness of translations
M Schmidt-Schauss, D Sabel, J Niehren, J Schwinghammer
Theoretical Computer Science 577, 98-124, 2015
162015
Closures of may-, should-and must-convergences for contextual equivalence
M Schmidt-Schauß, D Sabel
Information Processing Letters 110 (6), 232-235, 2010
152010
Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence.
D Sabel
Verlag Dr. Hut, 2008
142008
Algorithms for extended alpha-equivalence and complexity
M Schmidt-Schauß, C Rau, D Sabel
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
122013
A complete proof of the safety of Nöcker's strictness analysis
M Schmidt-Schauß, M Schütz, D Sabel
Univ.-Bibliothek Frankfurt am Main, 2005
112005
Nominal unification with atom-variables
M Schmidt-Schauß, D Sabel, YDK Kutz
Journal of Symbolic Computation 90, 42-64, 2019
102019
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
EM Manfred Schmidt-Schauss, David Sabel
Logical Methods in Computer Science 11 (1), 2015
10*2015
Contextual equivalences in call-by-need and call-by-name polymorphically typed calculi (preliminary report)
M Schmidt-Schauß, D Sabel
First International Workshop on Rewriting Techniques for Program …, 2014
102014
Einführung in die Methoden der künstlichen Intelligenz
M Schmidt-Schauß, D Sabel
Institut für Informatik, Goethe-Universität Frankfurt am Main, 2013
102013
Correctness of program transformations as a termination problem
C Rau, D Sabel, M Schmidt-Schauß
International Joint Conference on Automated Reasoning, 462-476, 2012
102012
The system can't perform the operation now. Try again later.
Articles 1–20