Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Sabel
@article{DBLP:journals/jlap/SchmidtSchaussS23,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
title = {Program equivalence in a typed probabilistic call-by-need functional
language},
journal = {J. Log. Algebraic Methods Program.},
volume = {135},
pages = {100904},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100904},
doi = {10.1016/J.JLAMP.2023.100904},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/SchmidtSchaussS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SabelSM22,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss} and
Luca Maio},
title = {Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus},
booktitle = {{PPDP} 2022: 24th International Symposium on Principles and Practice
of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
pages = {4:1--4:15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551357.3551374},
doi = {10.1145/3551357.3551374},
timestamp = {Wed, 12 Oct 2022 17:45:09 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SabelSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-14916,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss} and
Luca Maio},
title = {A Probabilistic Call-by-Need Lambda-Calculus - Extended Version},
journal = {CoRR},
volume = {abs/2205.14916},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.14916},
doi = {10.48550/ARXIV.2205.14916},
eprinttype = {arXiv},
eprint = {2205.14916},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-14916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-11226,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {Minimal Translations from Synchronous Communication to Synchronizing
Locks},
booktitle = {Proceedings Combined 28th International Workshop on Expressiveness
in Concurrency and 18th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2021, and 18th Workshop on Structural Operational SemanticsParis,
France (online event), 23rd August 2021},
series = {{EPTCS}},
volume = {339},
pages = {59--75},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.7},
doi = {10.4204/EPTCS.339.7},
timestamp = {Sun, 12 Nov 2023 02:17:08 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13520,
author = {Michael Christian Fink Amores and
David Sabel},
title = {Complexity of Deciding Syntactic Equivalence up to Renaming for Term
Rewriting Systems (Extended Version)},
journal = {CoRR},
volume = {abs/2106.13520},
year = {2021},
url = {https://arxiv.org/abs/2106.13520},
eprinttype = {arXiv},
eprint = {2106.13520},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13520.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-14651,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
title = {Minimal Translations from Synchronous Communication to Synchronizing
Locks (Extended Version)},
journal = {CoRR},
volume = {abs/2107.14651},
year = {2021},
url = {https://arxiv.org/abs/2107.14651},
eprinttype = {arXiv},
eprint = {2107.14651},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13359,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Correctly Implementing Synchronous Message Passing in the Pi-Calculus
By Concurrent Haskell's MVars},
booktitle = {Proceedings Combined 27th International Workshop on Expressiveness
in Concurrency and 17th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline,
31 August 2020},
series = {{EPTCS}},
volume = {322},
pages = {88--105},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.8},
doi = {10.4204/EPTCS.322.8},
timestamp = {Mon, 21 Sep 2020 12:42:04 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Schmidt-Schauss19,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Yunus D. K. Kutz},
title = {Nominal unification with atom-variables},
journal = {J. Symb. Comput.},
volume = {90},
pages = {42--64},
year = {2019},
url = {https://doi.org/10.1016/j.jsc.2018.04.003},
doi = {10.1016/J.JSC.2018.04.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Schmidt-Schauss19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1902-07818,
editor = {Joachim Niehren and
David Sabel},
title = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.289},
doi = {10.4204/EPTCS.289},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Schmidt-Schauss18,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Nils Dallmeyer},
editor = {David Sabel and
Peter Thiemann},
title = {Sequential and Parallel Improvements in a Concurrent Functional Programming
Language},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {20:1--20:13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236952},
doi = {10.1145/3236950.3236952},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Schmidt-Schauss18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-Schauss18,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Nominal Unification with Atom and Context Variables},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {28:1--28:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.28},
doi = {10.4230/LIPICS.FSCD.2018.28},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-Schauss18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08420,
author = {David Sabel},
editor = {Joachim Niehren and
David Sabel},
title = {Automating the Diagram Method to Prove Correctness of Program Transformations},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {17--33},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.2},
doi = {10.4204/EPTCS.289.2},
timestamp = {Wed, 29 May 2019 12:12:46 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2018,
editor = {David Sabel and
Peter Thiemann},
title = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3236950},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1802-05862,
editor = {Horatiu Cirstea and
David Sabel},
title = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
year = {2018},
url = {http://arxiv.org/abs/1802.05862},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SabelZ16,
author = {David Sabel and
Hans Zantema},
title = {Termination of Cycle Rewriting by Transformation and Matrix Interpretation},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:11)2017},
doi = {10.23638/LMCS-13(1:11)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SabelZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schmidt-Schauss17,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
title = {Improvements in a call-by-need functional core language: Common subexpression
elimination and resource preserving translations},
journal = {Sci. Comput. Program.},
volume = {147},
pages = {3--26},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.01.001},
doi = {10.1016/J.SCICO.2017.01.001},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schmidt-Schauss17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Sabel17,
author = {David Sabel},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Alpha-renaming of higher-order meta-expressions},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {151--162},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131866},
doi = {10.1145/3131851.3131866},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Sabel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Schmidt-Schauss16,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Unification of program expressions with recursive bindings},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {160--173},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968603},
doi = {10.1145/2967973.2968603},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Schmidt-Schauss16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SabelS16,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {A Call-by-Need Lambda Calculus with Scoped Work Decorations},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {70--90},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/SabelS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Schmidt-Schauss15,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Elena Machkasova},
title = {Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case,
Constructors, and Seq},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:7)2015},
doi = {10.2168/LMCS-11(1:7)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Schmidt-Schauss15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schmidt-Schauss15,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Joachim Niehren and
Jan Schwinghammer},
title = {Observational program calculi and the correctness of translations},
journal = {Theor. Comput. Sci.},
volume = {577},
pages = {98--124},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.02.027},
doi = {10.1016/J.TCS.2015.02.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schmidt-Schauss15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Schmidt-Schauss15,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Ralf L{\"{a}}mmel},
title = {Sharing-aware improvements in a call-by-need functional core language},
booktitle = {Proceedings of the 27th Symposium on the Implementation and Application
of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
September 14-16, 2015},
pages = {6:1--6:12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2897336.2897343},
doi = {10.1145/2897336.2897343},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/ifl/Schmidt-Schauss15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Schmidt-Schauss15,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Improvements in a functional core language with call-by-need operational
semantics},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {220--231},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790512},
doi = {10.1145/2790449.2790512},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Schmidt-Schauss15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SabelS15,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Observing Success in the Pi-Calculus},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {31--46},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.31},
doi = {10.4230/OASICS.WPTE.2015.31},
timestamp = {Fri, 03 Feb 2023 10:42:58 +0100},
biburl = {https://dblp.org/rec/conf/rta/SabelS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SabelZ15,
author = {David Sabel and
Hans Zantema},
editor = {Maribel Fern{\'{a}}ndez},
title = {Transforming Cycle Rewriting into String Rewriting},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {285--300},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.285},
doi = {10.4230/LIPICS.RTA.2015.285},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SabelZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2015wpte,
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-94-1},
isbn = {978-3-939897-94-1},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2015wpte.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Sabel14,
author = {David Sabel},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Structural Rewriting in the pi-Calculus},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {51--62},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.51},
doi = {10.4230/OASICS.WPTE.2014.51},
timestamp = {Fri, 03 Feb 2023 10:44:28 +0100},
biburl = {https://dblp.org/rec/conf/rta/Sabel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussS14a,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically
Typed Calculi (Preliminary Report)},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {63--74},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.63},
doi = {10.4230/OASICS.WPTE.2014.63},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussS14,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Gilles Dowek},
title = {Applicative May- and Should-Simulation in the Call-by-Value Lambda
Calculus with {AMB}},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {379--394},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_26},
doi = {10.1007/978-3-319-08918-8\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Sabel14,
author = {David Sabel},
editor = {Klaus Schmid and
Wolfgang B{\"{o}}hm and
Robert Heinrich and
Andrea Herrmann and
Anne Hoffmann and
Dieter Landes and
Marco Konersmann and
Thomas Ruhroth and
Oliver Sander and
Volker Stolz and
Baltasar Tranc{\'{o}}n y Widemann and
R{\"{u}}diger Wei{\ss}bach},
title = {A Haskell-Implementation of {STM} Haskell with Early Conflict Detection},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2014, 25.-26. Februar 2014 in Kiel, Deutschland},
series = {{CEUR} Workshop Proceedings},
volume = {1129},
pages = {171--190},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1129/paper48.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/Sabel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2014wpte,
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
isbn = {978-3-939897-70-5},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2014wpte.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SabelS13,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {A Two-Valued Logic for Properties of Strict Functional Programs Allowing
Partial Functions},
journal = {J. Autom. Reason.},
volume = {50},
number = {4},
pages = {383--421},
year = {2013},
url = {https://doi.org/10.1007/s10817-012-9253-6},
doi = {10.1007/S10817-012-9253-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SabelS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Schmidt-SchaussS13,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Correctness of an {STM} Haskell implementation},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {161--172},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500585},
doi = {10.1145/2500365.2500585},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Schmidt-SchaussS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussMS13,
author = {Manfred Schmidt{-}Schau{\ss} and
Elena Machkasova and
David Sabel},
editor = {Femke van Raamsdonk},
title = {Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of
Embeddings},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {239--254},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.239},
doi = {10.4230/LIPICS.RTA.2013.239},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussRS13,
author = {Manfred Schmidt{-}Schau{\ss} and
Conrad Rau and
David Sabel},
editor = {Femke van Raamsdonk},
title = {Algorithms for Extended Alpha-Equivalence and Complexity},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {255--270},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.255},
doi = {10.4230/LIPICS.RTA.2013.255},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BergerS13,
author = {Till Berger and
David Sabel},
editor = {Stefan Wagner and
Horst Lichter},
title = {Parallelizing {DPLL} in Haskell},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {27--42},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17393},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BergerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RauSS12,
author = {Conrad Rau and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Correctness of Program Transformations as a Termination Problem},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {462--476},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_36},
doi = {10.1007/978-3-642-31365-3\_36},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/RauSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SabelS12,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Conservative Concurrency in Haskell},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {561--570},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.66},
doi = {10.1109/LICS.2012.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SabelS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Sabel12,
author = {David Sabel},
editor = {Stefan J{\"{a}}hnichen and
Bernhard Rumpe and
Holger Schlingloff},
title = {An abstract machine for concurrent haskell with futures},
booktitle = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
series = {{LNI}},
volume = {{P-199}},
pages = {29--44},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18374},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Sabel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Schmidt-SchaussSM11,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Elena Machkasova},
title = {Counterexamples to applicative simulation and extensionality in non-deterministic
call-by-need lambda-calculi with letrec},
journal = {Inf. Process. Lett.},
volume = {111},
number = {14},
pages = {711--716},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.04.011},
doi = {10.1016/J.IPL.2011.04.011},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Schmidt-SchaussSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schmidt-SchaussSA11,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Altug Anis},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Congruence Closure of Compressed Terms in Polynomial Time},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {227--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_16},
doi = {10.1007/978-3-642-24364-6\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schmidt-SchaussSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SabelS11,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {A contextual semantics for concurrent Haskell with futures},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {101--112},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003492},
doi = {10.1145/2003476.2003492},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SabelS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Schmidt-SchaussS10,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
title = {Closures of may-, should- and must-convergences for contextual equivalence},
journal = {Inf. Process. Lett.},
volume = {110},
number = {6},
pages = {232--235},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.01.001},
doi = {10.1016/J.IPL.2010.01.001},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Schmidt-SchaussS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schmidt-SchaussS10,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
title = {On generic context lemmas for higher-order calculi with sharing},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {11-13},
pages = {1521--1541},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.12.001},
doi = {10.1016/J.TCS.2009.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schmidt-SchaussS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussSM10,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Elena Machkasova},
editor = {Christopher Lynch},
title = {Simulation in the Call-by-Need Lambda-Calculus with letrec},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {295--310},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.295},
doi = {10.4230/LIPICS.RTA.2010.295},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SabelSH09,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss} and
Frederik Harwath},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Reasoning about Contextual Equivalence: From Untyped to Polymorphically
Typed Calculi},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {2931--2945},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31296},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SabelSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022686,
author = {David Sabel},
title = {Semantics of a call-by-need lambda calculus with McCarthy's amb for
programm equivalence},
publisher = {Verlag Dr. Hut},
year = {2008},
url = {https://d-nb.info/992163102},
isbn = {978-3-89963-866-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0022686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Schmidt-SchaussSS08,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Marko Sch{\"{u}}tz},
title = {Safety of N{\"{o}}cker's strictness analysis},
journal = {J. Funct. Program.},
volume = {18},
number = {4},
pages = {503--551},
year = {2008},
url = {https://doi.org/10.1017/S0956796807006624},
doi = {10.1017/S0956796807006624},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Schmidt-SchaussSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SabelS08,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {A call-by-need lambda calculus with locally bottom-avoiding choice:
context lemma and correctness of transformations},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {501--553},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006774},
doi = {10.1017/S0960129508006774},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SabelS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Schmidt-SchaussNSS08,
author = {Manfred Schmidt{-}Schau{\ss} and
Joachim Niehren and
Jan Schwinghammer and
David Sabel},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Adequacy of Compositional Translations for Observational Semantics},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {521--535},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_35},
doi = {10.1007/978-0-387-09680-3\_35},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/Schmidt-SchaussNSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Sabel08,
author = {David Sabel},
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Semantik eines verz{\"{o}}gert auswertenden Lambdakalk{\"{u}}ls
mit McCarthy's amb f{\"{u}}r Programm{\"{a}}quivalenz [Semantics
of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program
Equivalence]},
booktitle = {Ausgezeichnete Informatikdissertationen 2008},
series = {{LNI}},
volume = {{D-9}},
pages = {221--230},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/33602},
timestamp = {Tue, 04 Jul 2023 17:43:36 +0200},
biburl = {https://dblp.org/rec/conf/gi/Sabel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Schmidt-SchaussSS07,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel and
Marko Sch{\"{u}}tz},
title = {Deciding inclusion of set constants over infinite non-strict data
structures},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {41},
number = {2},
pages = {225--241},
year = {2007},
url = {https://doi.org/10.1051/ita:2007010},
doi = {10.1051/ITA:2007010},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Schmidt-SchaussSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NiehrenSSS07,
author = {Joachim Niehren and
David Sabel and
Manfred Schmidt{-}Schau{\ss} and
Jan Schwinghammer},
editor = {Marcelo Fiore},
title = {Observational Semantics for a Concurrent Lambda Calculus with Reference
Cells and Futures},
booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
11-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {173},
pages = {313--337},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.041},
doi = {10.1016/J.ENTCS.2007.02.041},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NiehrenSSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
