Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Hanus
@article{DBLP:journals/corr/abs-2402-12960,
author = {Michael Hanus},
title = {Inferring Non-Failure Conditions for Declarative Programs},
journal = {CoRR},
volume = {abs/2402.12960},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12960},
doi = {10.48550/ARXIV.2402.12960},
eprinttype = {arXiv},
eprint = {2402.12960},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2023,
editor = {Michael Hanus and
Daniela Inclezan},
title = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2},
doi = {10.1007/978-3-031-24841-2},
isbn = {978-3-031-24840-5},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Hanus22,
author = {Michael Hanus},
title = {From Logic to Functional Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {4},
pages = {538--554},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000187},
doi = {10.1017/S1471068422000187},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Hanus22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HanusPT22,
author = {Michael Hanus and
Kai{-}Oliver Prott and
Finn Teegen},
title = {A Monadic Implementation of Functional Logic Programs},
booktitle = {{PPDP} 2022: 24th International Symposium on Principles and Practice
of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
pages = {1:1--1:15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551357.3551370},
doi = {10.1145/3551357.3551370},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/HanusPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2022,
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7},
doi = {10.1007/978-3-030-99461-7},
isbn = {978-3-030-99460-0},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06841,
author = {Michael Hanus},
title = {From Logic to Functional Logic Programs},
journal = {CoRR},
volume = {abs/2205.06841},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06841},
doi = {10.48550/ARXIV.2205.06841},
eprinttype = {arXiv},
eprint = {2205.06841},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06841.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus21,
author = {Michael Hanus},
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {Lightweight Declarative Server-Side Web Programming},
booktitle = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
pages = {107--123},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0\_7},
doi = {10.1007/978-3-030-67438-0\_7},
timestamp = {Fri, 23 Apr 2021 09:00:31 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BohmHT21,
author = {Jonas B{\"{o}}hm and
Michael Hanus and
Finn Teegen},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {From Non-determinism to Goroutines: {A} Fair Implementation of Curry
in Go},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {16:1--16:15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479411},
doi = {10.1145/3479394.3479411},
timestamp = {Tue, 21 Mar 2023 21:03:02 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BohmHT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2020,
editor = {Michael Hanus and
Claudio Sacerdoti Coen},
title = {Functional and Constraint Logic Programming - 28th International Workshop,
{WFLP} 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12560},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75333-7},
doi = {10.1007/978-3-030-75333-7},
isbn = {978-3-030-75332-0},
timestamp = {Sat, 08 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Hanus20,
author = {Michael Hanus},
title = {Combining Static and Dynamic Contract Checking for Curry},
journal = {Fundam. Informaticae},
volume = {173},
number = {4},
pages = {285--314},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1925},
doi = {10.3233/FI-2020-1925},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Hanus20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/HanusT20,
author = {Michael Hanus and
Finn Teegen},
editor = {Michael Hanus and
Claudio Sacerdoti Coen},
title = {Memoized Pull-Tabbing for Functional Logic Programming},
booktitle = {Functional and Constraint Logic Programming - 28th International Workshop,
{WFLP} 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12560},
pages = {57--73},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-75333-7\_4},
doi = {10.1007/978-3-030-75333-7\_4},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/HanusT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11999,
author = {Michael Hanus and
Finn Teegen},
title = {Memoized Pull-Tabbing for Functional Logic Programming},
journal = {CoRR},
volume = {abs/2008.11999},
year = {2020},
url = {https://arxiv.org/abs/2008.11999},
eprinttype = {arXiv},
eprint = {2008.11999},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01001,
author = {Michael Hanus and
Claudio Sacerdoti Coen},
title = {Pre-Proceedings of the 28th International Workshop on Functional and
Logic Programming {(WFLP} 2020)},
journal = {CoRR},
volume = {abs/2009.01001},
year = {2020},
url = {https://arxiv.org/abs/2009.01001},
eprinttype = {arXiv},
eprint = {2009.01001},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/HanusT19,
author = {Michael Hanus and
Finn Teegen},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Adding Data to Curry},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {230--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_15},
doi = {10.1007/978-3-030-46714-2\_15},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/HanusT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/AntoyHJL19,
author = {Sergio Antoy and
Michael Hanus and
Andy Jost and
Steven Libby},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {ICurry},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {286--307},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_18},
doi = {10.1007/978-3-030-46714-2\_18},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/AntoyHJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus19,
author = {Michael Hanus},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Improving Residuation in Declarative Programs},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {82--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_6},
doi = {10.1007/978-3-030-05998-9\_6},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10607,
author = {Michael Hanus and
Finn Teegen},
title = {Adding Data to Curry},
journal = {CoRR},
volume = {abs/1908.10607},
year = {2019},
url = {http://arxiv.org/abs/1908.10607},
eprinttype = {arXiv},
eprint = {1908.10607},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11101,
author = {Sergio Antoy and
Michael Hanus and
Andy Jost and
Steven Libby},
title = {ICurry},
journal = {CoRR},
volume = {abs/1908.11101},
year = {2019},
url = {http://arxiv.org/abs/1908.11101},
eprinttype = {arXiv},
eprint = {1908.11101},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09562,
author = {Sergio Antoy and
Michael Hanus},
title = {Equivalence Checking of Non-deterministic Operations},
journal = {CoRR},
volume = {abs/1909.09562},
year = {2019},
url = {http://arxiv.org/abs/1909.09562},
eprinttype = {arXiv},
eprint = {1909.09562},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyH18,
author = {Sergio Antoy and
Michael Hanus},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Equivalence Checking of Non-deterministic Operations},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {149--165},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_10},
doi = {10.1007/978-3-319-90686-7\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Hanus18,
author = {Michael Hanus},
editor = {David Sabel and
Peter Thiemann},
title = {Verifying Fail-Free Declarative Programs},
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 = {12:1--12:13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236957},
doi = {10.1145/3236950.3236957},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Hanus18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AntoyHT18,
author = {Sergio Antoy and
Michael Hanus and
Finn Teegen},
editor = {Josep Silva},
title = {Synthesizing Set Functions},
booktitle = {Functional and Constraint Logic Programming - 26th International Workshop,
{WFLP} 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11285},
pages = {93--111},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-16202-3\_6},
doi = {10.1007/978-3-030-16202-3\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/wflp/AntoyHT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2017,
editor = {Dietmar Seipel and
Michael Hanus and
Salvador Abreu},
title = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
Germany, September 19-22, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10997},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00801-7},
doi = {10.1007/978-3-030-00801-7},
isbn = {978-3-030-00800-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07401,
author = {Sergio Antoy and
Michael Hanus and
Finn Teegen},
title = {Synthesizing Set Functions},
journal = {CoRR},
volume = {abs/1808.07401},
year = {2018},
url = {http://arxiv.org/abs/1808.07401},
eprinttype = {arXiv},
eprint = {1808.07401},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AntoyH17,
author = {Sergio Antoy and
Michael Hanus},
title = {Transforming Boolean equalities into constraints},
journal = {Formal Aspects Comput.},
volume = {29},
number = {3},
pages = {475--494},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0399-6},
doi = {10.1007/S00165-016-0399-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AntoyH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AntoyH17,
author = {Sergio Antoy and
Michael Hanus},
title = {Default rules for Curry},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {2},
pages = {121--147},
year = {2017},
url = {https://doi.org/10.1017/S1471068416000168},
doi = {10.1017/S1471068416000168},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AntoyH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus17,
author = {Michael Hanus},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {Semantic Versioning Checking in a Declarative Package Manager},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.6},
doi = {10.4230/OASICS.ICLP.2017.6},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hanus17,
author = {Michael Hanus},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Combining Static and Dynamic Contract Checking for Curry},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {323--340},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_19},
doi = {10.1007/978-3-319-94460-9\_19},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hanus17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AntoyH17,
author = {Sergio Antoy and
Michael Hanus},
editor = {Yuliya Lierler and
Walid Taha},
title = {Eliminating Irrelevant Non-determinism in Functional Logic Programs},
booktitle = {Practical Aspects of Declarative Languages - 19th International Symposium,
{PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10137},
pages = {1--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51676-9\_1},
doi = {10.1007/978-3-319-51676-9\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/AntoyH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HanusK17,
author = {Michael Hanus and
Julia Krone},
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {A Typeful Integration of {SQL} into Curry},
booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
pages = {104--119},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234.8},
doi = {10.4204/EPTCS.234.8},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HanusK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AntoyHL17,
author = {Sergio Antoy and
Michael Hanus and
Steven Libby},
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {Proving Non-Deterministic Computations in Agda},
booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
pages = {180--195},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234.13},
doi = {10.4204/EPTCS.234.13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AntoyHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04816,
author = {Michael Hanus},
title = {Combining Static and Dynamic Contract Checking for Curry},
journal = {CoRR},
volume = {abs/1709.04816},
year = {2017},
url = {http://arxiv.org/abs/1709.04816},
eprinttype = {arXiv},
eprint = {1709.04816},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04816.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hanus16,
author = {Michael Hanus},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {CurryCheck: Checking Properties of Curry Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {222--239},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_13},
doi = {10.1007/978-3-319-63139-4\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hanus16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AntoyH16,
author = {Sergio Antoy and
Michael Hanus},
editor = {Marco Gavanelli and
John H. Reppy},
title = {Default Rules for Curry},
booktitle = {Practical Aspects of Declarative Languages - 18th International Symposium,
{PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9585},
pages = {65--82},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28228-2\_5},
doi = {10.1007/978-3-319-28228-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/AntoyH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HanusT16,
author = {Michael Hanus and
Jan Rasmus Tikovsky},
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 Parser Generator System for Level-based Programming Languages},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {3--24},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/HanusT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AntoyH16,
author = {Sergio Antoy and
Michael Hanus},
title = {Default Rules for Curry},
journal = {CoRR},
volume = {abs/1605.01352},
year = {2016},
url = {http://arxiv.org/abs/1605.01352},
eprinttype = {arXiv},
eprint = {1605.01352},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AntoyH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hanus16,
author = {Michael Hanus},
title = {CurryCheck: Checking Properties of Curry Programs},
journal = {CoRR},
volume = {abs/1608.05617},
year = {2016},
url = {http://arxiv.org/abs/1608.05617},
eprinttype = {arXiv},
eprint = {1608.05617},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hanus16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyH15,
author = {Sergio Antoy and
Michael Hanus},
editor = {Moreno Falaschi},
title = {From Boolean Equalities to Constraints},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {73--88},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_5},
doi = {10.1007/978-3-319-27436-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AntoyH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus15,
author = {Michael Hanus},
editor = {Enrico Pontelli and
Tran Cao Son},
title = {CHR(Curry): Interpretation and Compilation of Constraint Handling
Rules in Curry},
booktitle = {Practical Aspects of Declarative Languages - 17th International Symposium,
{PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9131},
pages = {74--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19686-2\_6},
doi = {10.1007/978-3-319-19686-2\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HanusK14,
author = {Michael Hanus and
Sven Koschnicke},
title = {An ER-based framework for declarative web programming},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {3},
pages = {269--291},
year = {2014},
url = {https://doi.org/10.1017/S1471068412000385},
doi = {10.1017/S1471068412000385},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/HanusK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HanusS14,
author = {Michael Hanus and
Fabian Skrlac},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {A modular and generic analysis server system for functional logic
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {181--188},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543744},
doi = {10.1145/2543728.2543744},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/HanusS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HanusPT14,
author = {Michael Hanus and
Bj{\"{o}}rn Peem{\"{o}}ller and
Jan Rasmus Tikovsky},
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 = {Integration of Finite Domain Constraints in KiCS2},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2014, 25.-26. Februar 2014 in Kiel, Deutschland},
series = {{CEUR} Workshop Proceedings},
volume = {1129},
pages = {151--170},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1129/paper47.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/HanusPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus14,
author = {Michael Hanus},
editor = {Stefan Brass and
Johannes Waldmann},
title = {Declarative Multi-paradigm Programming},
booktitle = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
{(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
and (Constraint) Logic Programming, Wittenberg, Germany, September
15-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1335},
pages = {105--107},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1335/wflp2014\_tutorial.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Hanus14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/AntoyH14,
author = {Sergio Antoy and
Michael Hanus},
editor = {Stefan Brass and
Johannes Waldmann},
title = {Curry without Success},
booktitle = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
{(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
and (Constraint) Logic Programming, Wittenberg, Germany, September
15-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1335},
pages = {140--154},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1335/wflp2014\_paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wlp/AntoyH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/HanusP14,
author = {Michael Hanus and
Bj{\"{o}}rn Peem{\"{o}}ller},
editor = {Stefan Brass and
Johannes Waldmann},
title = {A Partial Evaluator for Curry},
booktitle = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
{(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
and (Constraint) Logic Programming, Wittenberg, Germany, September
15-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1335},
pages = {155--171},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1335/wflp2014\_paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wlp/HanusP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/Hanus14,
author = {Michael Hanus},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Multiparadigm Languages},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {66: 1--17},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/Hanus14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2013,
editor = {Michael Hanus and
Ricardo Rocha},
title = {Declarative Programming and Knowledge Management - Declarative Programming
Days, {KDPD} 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September
11-13, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8439},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08909-6},
doi = {10.1007/978-3-319-08909-6},
isbn = {978-3-319-08908-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Hanus13,
author = {Michael Hanus},
title = {Adding Plural Arguments to Curry Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013018.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Hanus13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hanus13,
author = {Michael Hanus},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Functional Logic Programming: From Theory to Curry},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {123--168},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_6},
doi = {10.1007/978-3-642-37651-1\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hanus13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BrasselHPR13,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Bj{\"{o}}rn Peem{\"{o}}ller and
Fabian Reck},
editor = {Konstantinos Sagonas},
title = {Implementing Equational Constraints in a Functional Language},
booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
pages = {125--140},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0\_9},
doi = {10.1007/978-3-642-45284-0\_9},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/BrasselHPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChristiansenHRS13,
author = {Jan Christiansen and
Michael Hanus and
Fabian Reck and
Daniel Seidel},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {A semantics for weakly encapsulated search in functional logic programs},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {49--60},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505896},
doi = {10.1145/2505879.2505896},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ChristiansenHRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HanusR13,
author = {Michael Hanus and
Fabian Reck},
title = {A Generic Analysis Server System for Functional Logic Programs},
journal = {CoRR},
volume = {abs/1307.4648},
year = {2013},
url = {http://arxiv.org/abs/1307.4648},
eprinttype = {arXiv},
eprint = {1307.4648},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HanusR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/EfftingeEKZMHH12,
author = {Sven Efftinge and
Moritz Eysholdt and
Jan K{\"{o}}hnlein and
Sebastian Zarnekow and
Robert von Massow and
Wilhelm Hasselbring and
Michael Hanus},
editor = {Klaus Ostermann and
Walter Binder},
title = {Xbase: implementing domain-specific languages for Java},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
Germany, September 26-28, 2012},
pages = {112--121},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371401.2371419},
doi = {10.1145/2371401.2371419},
timestamp = {Tue, 21 Mar 2023 21:01:36 +0100},
biburl = {https://dblp.org/rec/conf/gpce/EfftingeEKZMHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus12,
author = {Michael Hanus},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Improving Lazy Non-Deterministic Computations by Demand Analysis},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {130--143},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.130},
doi = {10.4230/LIPICS.ICLP.2012.130},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Hanus12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AntoyH12,
author = {Sergio Antoy and
Michael Hanus},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {Contracts and Specifications for Functional Logic Programming},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {33--47},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_4},
doi = {10.1007/978-3-642-27694-1\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/AntoyH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HanusPR12,
author = {Michael Hanus and
Bj{\"{o}}rn Peem{\"{o}}ller and
Fabian Reck},
editor = {Stefan J{\"{a}}hnichen and
Bernhard Rumpe and
Holger Schlingloff},
title = {Search strategies for functional logic programming},
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 = {61--74},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18376},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HanusPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/MazanekH11,
author = {Steffen Mazanek and
Michael Hanus},
title = {Constructing a bidirectional transformation between {BPMN} and {BPEL}
with a functional logic programming language},
journal = {J. Vis. Lang. Comput.},
volume = {22},
number = {1},
pages = {66--89},
year = {2011},
url = {https://doi.org/10.1016/j.jvlc.2010.11.005},
doi = {10.1016/J.JVLC.2010.11.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/MazanekH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus11,
author = {Michael Hanus},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Declarative Processing of Semistructured Web Data},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {198--208},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.198},
doi = {10.4230/LIPICS.ICLP.2011.198},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/BrasselHPR11,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Bj{\"{o}}rn Peem{\"{o}}ller and
Fabian Reck},
editor = {Herbert Kuchen},
title = {KiCS2: {A} New Compiler from Curry to Haskell},
booktitle = {Functional and Constraint Logic Programming - 20th International Workshop,
{WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6816},
pages = {1--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22531-4\_1},
doi = {10.1007/978-3-642-22531-4\_1},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/BrasselHPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AntoyH11,
author = {Sergio Antoy and
Michael Hanus},
editor = {Herbert Kuchen},
title = {New Functional Logic Design Patterns},
booktitle = {Functional and Constraint Logic Programming - 20th International Workshop,
{WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6816},
pages = {19--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22531-4\_2},
doi = {10.1007/978-3-642-22531-4\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/AntoyH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2011,
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0776-5},
timestamp = {Tue, 18 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-4133,
author = {Michael Hanus and
Sven Koschnicke},
title = {An ER-based Framework for Declarative Web Programming},
journal = {CoRR},
volume = {abs/1103.4133},
year = {2011},
url = {http://arxiv.org/abs/1103.4133},
eprinttype = {arXiv},
eprint = {1103.4133},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-4133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5609,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Bj{\"{o}}rn Peem{\"{o}}ller and
Fabian Reck},
title = {Implementing Equational Constraints in a Functional Language},
journal = {CoRR},
volume = {abs/1108.5609},
year = {2011},
url = {http://arxiv.org/abs/1108.5609},
eprinttype = {arXiv},
eprint = {1108.5609},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-5609.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AntoyH10,
author = {Sergio Antoy and
Michael Hanus},
title = {Functional logic programming},
journal = {Commun. {ACM}},
volume = {53},
number = {4},
pages = {74--85},
year = {2010},
url = {https://doi.org/10.1145/1721654.1721675},
doi = {10.1145/1721654.1721675},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AntoyH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HanusK10,
author = {Michael Hanus and
Sven Koschnicke},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {An ER-Based Framework for Declarative Web Programming},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {201--216},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_18},
doi = {10.1007/978-3-642-11503-5\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/HanusK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/BrasselFHR10,
author = {Bernd Bra{\ss}el and
Sebastian Fischer and
Michael Hanus and
Fabian Reck},
editor = {Julio Mari{\~{n}}o},
title = {Transforming Functional Logic Programs into Monadic Functional Programs},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6559},
pages = {30--47},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20775-4\_2},
doi = {10.1007/978-3-642-20775-4\_2},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/BrasselFHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Hanus10,
author = {Michael Hanus},
editor = {Julio Mari{\~{n}}o},
title = {Lazy and Enforceable Assertions for Functional Logic Programs},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6559},
pages = {84--100},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20775-4\_5},
doi = {10.1007/978-3-642-20775-4\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/Hanus10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DoschH09,
author = {Walter Dosch and
Michael Hanus},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Arbeitstagung Programmiersprachen {(ATPS} 2009) - Vorwort},
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 = {362},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31288},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/DoschH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HanusK09,
author = {Michael Hanus and
Christof Klu{\ss}},
editor = {Andy Gill and
Terrance Swift},
title = {Declarative Programming of User Interfaces},
booktitle = {Practical Aspects of Declarative Languages, 11th International Symposium,
{PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5418},
pages = {16--30},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92995-6\_2},
doi = {10.1007/978-3-540-92995-6\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/HanusK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyH09,
author = {Sergio Antoy and
Michael Hanus},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Set functions for functional logic programming},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {73--82},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599420},
doi = {10.1145/1599410.1599420},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AntoyH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2008,
editor = {Michael Hanus},
title = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00515-2},
doi = {10.1007/978-3-642-00515-2},
isbn = {978-3-642-00514-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2007,
editor = {Dietmar Seipel and
Michael Hanus and
Armin Wolf},
title = {Applications of Declarative Programming and Knowledge Management,
17th International Conference, {INAP} 2007, and 21st Workshop on Logic
Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5437},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00675-3},
doi = {10.1007/978-3-642-00675-3},
isbn = {978-3-642-00674-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BrasselHM08,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Marion M{\"{u}}ller},
editor = {Paul Hudak and
David Scott Warren},
title = {High-Level Database Programming in Curry},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {316--332},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_21},
doi = {10.1007/978-3-540-77442-6\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/BrasselHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Hanus08,
author = {Michael Hanus},
editor = {Sergio Antoy and
Elvira Albert},
title = {Call pattern analysis for functional logic programs},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {67--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389459},
doi = {10.1145/1389449.1389459},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Hanus08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BrasselHFHV07,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Sebastian Fischer and
Frank Huch and
Germ{\'{a}}n Vidal},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Lazy call-by-value evaluation},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {265--276},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291193},
doi = {10.1145/1291151.1291193},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BrasselHFHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus07,
author = {Michael Hanus},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Multi-paradigm Declarative Languages},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {45--75},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_5},
doi = {10.1007/978-3-540-74610-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Hanus07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Hanus07,
author = {Michael Hanus},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Putting declarative programming into the web: translating curry to
javascript},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {155--166},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273942},
doi = {10.1145/1273920.1273942},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Hanus07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2007,
editor = {Michael Hanus},
title = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7},
doi = {10.1007/978-3-540-69611-7},
isbn = {978-3-540-69608-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0348,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Marion M{\"{u}}ller},
title = {Compiling {ER} Specifications into Declarative Programs},
journal = {CoRR},
volume = {abs/0711.0348},
year = {2007},
url = {http://arxiv.org/abs/0711.0348},
eprinttype = {arXiv},
eprint = {0711.0348},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701147,
author = {Michael Hanus},
title = {A Generic Analysis Environment for Curry Programs},
journal = {CoRR},
volume = {abs/cs/0701147},
year = {2007},
url = {http://arxiv.org/abs/cs/0701147},
eprinttype = {arXiv},
eprint = {cs/0701147},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Hanus06,
author = {Michael Hanus},
title = {Type-Oriented Construction of Web User Interfaces},
journal = {Softwaretechnik-Trends},
volume = {26},
number = {2},
year = {2006},
url = {http://pi.informatik.uni-siegen.de/stt/26\_2/01\_Fachgruppenberichte/02-FG214/16-Hanus.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Hanus06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoyH06,
author = {Sergio Antoy and
Michael Hanus},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Overlapping Rules and Logic Variables in Functional Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {87--101},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_9},
doi = {10.1007/11799573\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AntoyH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Hanus06,
author = {Michael Hanus},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Type-oriented construction of web user interfaces},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {27--38},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140341},
doi = {10.1145/1140335.1140341},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Hanus06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus06,
author = {Michael Hanus},
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Adding Constraint Handling Rules to Curry},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
pages = {81--90},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/06-final.ps.gz},
timestamp = {Thu, 16 Nov 2017 07:57:26 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Hanus06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hanus07,
author = {Michael Hanus},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Reporting Failures in Functional Logic Programs},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {59--73},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.002},
doi = {10.1016/J.ENTCS.2007.01.002},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hanus07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AlbertHHOV05,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
title = {Operational semantics for declarative multi-paradigm languages},
journal = {J. Symb. Comput.},
volume = {40},
number = {1},
pages = {795--829},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.01.001},
doi = {10.1016/J.JSC.2004.01.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/AlbertHHOV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteLHV05,
author = {Mar{\'{\i}}a Alpuente and
Salvador Lucas and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {Specialization of functional logic programs based on needed narrowing},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {3},
pages = {273--303},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002303},
doi = {10.1017/S1471068404002303},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteLHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrasselH05,
author = {Bernd Bra{\ss}el and
Michael Hanus},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Nondeterminism Analysis of Functional Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {265--279},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_21},
doi = {10.1007/11562931\_21},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BrasselH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AntoyH05,
author = {Sergio Antoy and
Michael Hanus},
editor = {Patricia M. Hill},
title = {Declarative Programming with Function Patterns},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {6--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_2},
doi = {10.1007/11680093\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AntoyH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/Hanus05,
author = {Michael Hanus},
editor = {Sergio Antoy and
Michael Hanus},
title = {A generic analysis environment for declarative programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {43--48},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085108},
doi = {10.1145/1085099.1085108},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/Hanus05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2005fdpe,
editor = {Robby Bruce Findler and
Michael Hanus and
Simon Thompson},
title = {Proceedings of the 2005 workshop on Functional and Declarative Programming
in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25,
2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085114},
doi = {10.1145/1085114},
isbn = {1-59593-067-1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2005fdpe.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcflp/2005,
editor = {Sergio Antoy and
Michael Hanus},
title = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099},
doi = {10.1145/1085099},
isbn = {1-59593-069-8},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2004,
editor = {Dietmar Seipel and
Michael Hanus and
Ulrich Geske and
Oskar Bartenstein},
title = {Applications of Declarative Programming and Knowledge Management,
15th International Conference on Applications of Declarative Programming
and Knowledge Management, {INAP} 2004, and 18th Workshop on Logic
Programming, {WLP} 2004, Potsdam, Germany, March 4-6, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3392},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b135595},
doi = {10.1007/B135595},
isbn = {3-540-25560-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/BrasselHH04,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Frank Huch},
title = {Encapsulating Non-Determinism in Functional Logic Computations},
journal = {J. Funct. Log. Program.},
volume = {2004},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/A2004-06/JFLP-A2004-06.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/BrasselHH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Hanus04,
author = {Michael Hanus},
title = {Dynamic Predicates in Functional Logic Programs},
journal = {J. Funct. Log. Program.},
volume = {2004},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/A2004-05/JFLP-A2004-05.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Hanus04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AntoyH04,
author = {Sergio Antoy and
Michael Hanus},
title = {Concurrent distinct choices},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {657--668},
year = {2004},
url = {https://doi.org/10.1017/S095679680400509X},
doi = {10.1017/S095679680400509X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AntoyH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AntoyHLT04,
author = {Sergio Antoy and
Michael Hanus and
Jimeng Liu and
Andrew P. Tolmach},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {A Virtual Machine for Functional Logic Computations},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {108--125},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_7},
doi = {10.1007/11431664\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AntoyHLT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrasselHHSV04,
author = {Bernd Brassel and
Michael Hanus and
Frank Huch and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sandro Etalle},
title = {Run-Time Profiling of Functional Logic Programs},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {182--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_12},
doi = {10.1007/11506676\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BrasselHHSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BrasselCHH04,
author = {Bernd Brassel and
Olaf Chitil and
Michael Hanus and
Frank Huch},
editor = {Bharat Jayaraman},
title = {Observing Functional Logic Computations},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {193--208},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_14},
doi = {10.1007/978-3-540-24836-1\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/BrasselCHH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BrasselHHV04,
author = {Bernd Brassel and
Michael Hanus and
Frank Huch and
Germ{\'{a}}n Vidal},
editor = {Eugenio Moggi and
David Scott Warren},
title = {A semantics for tracing declarative multi-paradigm programs},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {179--190},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013984},
doi = {10.1145/1013963.1013984},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BrasselHHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0403011,
author = {Mar{\'{\i}}a Alpuente and
Michael Hanus and
Salvador Lucas and
Germ{\'{a}}n Vidal},
title = {Specialization of Functional Logic Programs Based on Needed Narrowing},
journal = {CoRR},
volume = {cs.PL/0403011},
year = {2004},
url = {http://arxiv.org/abs/cs/0403011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0403011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlbertHV03,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {A residualizing semantics for the partial evaluation of functional
logic programs},
journal = {Inf. Process. Lett.},
volume = {85},
number = {1},
pages = {19--25},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(02)00336-8},
doi = {10.1016/S0020-0190(02)00336-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AlbertHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyBH03,
author = {Sergio Antoy and
Bernd Brassel and
Michael Hanus},
title = {Conditional narrowing without conditions},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {20--31},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888255},
doi = {10.1145/888251.888255},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AntoyBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HanusHH03,
author = {Michael Hanus and
Klaus H{\"{o}}ppner and
Frank Huch},
editor = {Lubos Brim and
Orna Grumberg},
title = {Towards translating embedded Curry to {C}},
booktitle = {12th International Workshop on Functional and Constraint Logic Programming,
{WFLP} 2003, in connection with RDP'03, Federated Conference on Rewriting,
Deduction and Programming, Boulder, Colorado, USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {3},
pages = {35--51},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80692-3},
doi = {10.1016/S1571-0661(04)80692-3},
timestamp = {Wed, 07 Dec 2022 09:18:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HanusHH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/AlbertHV02,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative
Languages},
journal = {J. Funct. Log. Program.},
volume = {2002},
year = {2002},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/AlbertHV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlbertHH0V02,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
editor = {Juan Jos{\'{e}} Moreno{-}Navarro and
Julio Mari{\~{n}}o{-}Carballo},
title = {A Deterministic Operational Semantics for Functional Logic Programs},
booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
pages = {207},
publisher = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
de Madrid},
year = {2002},
url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_207.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlbertHH0V02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyH02,
author = {Sergio Antoy and
Michael Hanus},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Functional Logic Design Patterns},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {67--87},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_4},
doi = {10.1007/3-540-45788-7\_4},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertHHOV02a,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
editor = {Marco Comini and
Moreno Falaschi},
title = {Operational Semantics for Functional Logic Languages},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {1--19},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80782-5},
doi = {10.1016/S1571-0661(04)80782-5},
timestamp = {Wed, 07 Dec 2022 09:09:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertHHOV02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertHHOV02,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {An Operational Semantics for Declarative Multi-Paradigm Languages},
booktitle = {2nd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
July 21, 2002, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {6},
pages = {62--83},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80600-5},
doi = {10.1016/S1571-0661(04)80600-5},
timestamp = {Tue, 06 Dec 2022 15:13:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertHHOV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HanusH02,
author = {Michael Hanus and
Klaus H{\"{o}}ppner},
editor = {Marco Comini and
Moreno Falaschi},
title = {Programming Autonomous Robots in Curry},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {178--196},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80793-X},
doi = {10.1016/S1571-0661(04)80793-X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HanusH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2001,
editor = {Michael Hanus},
title = {International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {64},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/64/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/HanusL01,
author = {Michael Hanus and
Salvador Lucas},
title = {An Evaluation Semantics for Narrowing-Based Functional Logic Languages},
journal = {J. Funct. Log. Program.},
volume = {2001},
number = {2},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/HanusL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlbertHV01,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {326--342},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_21},
doi = {10.1007/3-540-44716-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlbertHV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/HanusK01,
author = {Michael Hanus and
Johannes Koj},
editor = {Anthony J. Kusalik},
title = {An Integrated Development Environment for Declarative Multi-Paradigm
Programming},
booktitle = {Proceedings of the Eleventh Workshop on Logic Programming Environments
(WLPE'01), Paphos, Cyprus, December 1, 2001},
year = {2001},
url = {https://arxiv.org/abs/cs/0111039},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/HanusK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus01,
author = {Michael Hanus},
editor = {I. V. Ramakrishnan},
title = {High-Level Server Side Web Scripting in Curry},
booktitle = {Practical Aspects of Declarative Languages, Third International Symposium,
{PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1990},
pages = {76--92},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45241-9\_6},
doi = {10.1007/3-540-45241-9\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyHMS01,
author = {Sergio Antoy and
Michael Hanus and
Bart Massey and
Frank Steiner},
title = {An Implementation of Narrowing Strategies},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {207--217},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773206},
doi = {10.1145/773184.773206},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AntoyHMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hanus02,
author = {Michael Hanus},
editor = {Michael Hanus},
title = {Preface},
booktitle = {International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {64},
pages = {308--309},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80357-3},
doi = {10.1016/S1571-0661(05)80357-3},
timestamp = {Mon, 05 Dec 2022 15:44:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hanus02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Hanus01,
author = {Michael Hanus},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {Reduction Strategies for Declarative Programming},
booktitle = {1st International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2001, Utrecht, The Netherlands, May 26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {57},
pages = {184--191},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00273-7},
doi = {10.1016/S1571-0661(04)00273-7},
timestamp = {Tue, 07 Nov 2023 11:31:29 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hanus01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AntoyEH00,
author = {Sergio Antoy and
Rachid Echahed and
Michael Hanus},
title = {A needed narrowing strategy},
journal = {J. {ACM}},
volume = {47},
number = {4},
pages = {776--822},
year = {2000},
url = {https://doi.org/10.1145/347476.347484},
doi = {10.1145/347476.347484},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AntoyEH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AntoyH00,
author = {Sergio Antoy and
Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Compiling Multi-Paradigm Declarative Programs into Prolog},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {171--185},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_12},
doi = {10.1007/10720084\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AntoyH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HanusHN00,
author = {Michael Hanus and
Frank Huch and
Philipp Niederau},
editor = {Markus Mohnen and
Pieter W. M. Koopman},
title = {ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm
Language Curry},
booktitle = {Implementation of Functional Languages, 12th International Workshop,
{IFL} 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2011},
pages = {89--106},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45361-X\_6},
doi = {10.1007/3-540-45361-X\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/HanusHN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertHV00,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Michel Parigot and
Andrei Voronkov},
title = {Using an Abstract Representation to Specialize Functional Logic Programs},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {381--398},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_24},
doi = {10.1007/3-540-44404-1\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertHV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus00,
author = {Michael Hanus},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {A Functional Logic Programming Approach to Graphical User Interfaces},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {47--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_4},
doi = {10.1007/3-540-46584-7\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HanusS00,
author = {Michael Hanus and
Frank Steiner},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {Type-based nondeterminism checking in functional logic programs},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {202--213},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351292},
doi = {10.1145/351268.351292},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/HanusS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlbertHV00,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente},
title = {Realistic Program Specialization in a Multi-Paradigm Language},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {104--119},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/AlbertHV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Hanus00,
author = {Michael Hanus},
editor = {Mar{\'{\i}}a Alpuente},
title = {Server Side Web Scripting in Curry},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {366--381},
year = {2000},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Hanus00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus00b,
author = {Michael Hanus},
editor = {Slim Abdennadher and
Ulrich Geske and
Dietmar Seipel},
title = {Server Side Web Scripting in Curry},
booktitle = {{WLP} 2000, 15th Workshop on Logic Programming and Constraint Systems,
Collocated {ECAI} 2000 Workshop, Berlin, August 25-27, 2000},
series = {{GMD} Report},
volume = {110},
pages = {71--84},
year = {2000},
timestamp = {Tue, 20 Aug 2019 09:23:38 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Hanus00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/SteinerH00,
author = {Frank Steiner and
Michael Hanus},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {Type-based Nondeterminism Checking in Functional Logic Programs},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {135--148},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/wlp/SteinerH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus00,
author = {Michael Hanus},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {TkCurry: {A} Declarative Approach to {GUI} Programming},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {149--160},
year = {2000},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Hanus00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus00a,
author = {Michael Hanus},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {{PACS:} The Portland Aachen Curry System},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {219--221},
year = {2000},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Hanus00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/HanusS99,
author = {Michael Hanus and
Ramin Sadre},
title = {An Abstract Machine for Curry and Its Concurrent Implementation in
Java},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {Special Issue 1},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/HanusS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HanusP99,
author = {Michael Hanus and
Christian Prehofer},
title = {Higher-Order Narrowing with Definitional Trees},
journal = {J. Funct. Program.},
volume = {9},
number = {1},
pages = {33--75},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003330},
doi = {10.1017/S0956796899003330},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HanusP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HanusL99,
author = {Michael Hanus and
Salvador Lucas},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Semantics for Program Analysis in Narrowing-Based Functional Logic
Languages},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {353--368},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_23},
doi = {10.1007/10705424\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HanusL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AlpuenteHLV99,
author = {Mar{\'{\i}}a Alpuente and
Michael Hanus and
Salvador Lucas and
Germ{\'{a}}n Vidal},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Specialization of Inductively Sequential Functional Logic Programs},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {273--283},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317910},
doi = {10.1145/317636.317910},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AlpuenteHLV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertAHV99,
author = {Elvira Albert and
Mar{\'{\i}}a Alpuente and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {A Partial Evaluation Framework for Curry Programs},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {376--395},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_23},
doi = {10.1007/3-540-48242-3\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertAHV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Hanus99,
author = {Michael Hanus},
editor = {Gopalan Nadathur},
title = {Distributed Programming in a Multi-Paradigm Declarative Language},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {188--205},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_11},
doi = {10.1007/10704567\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Hanus99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HanusLM98,
author = {Michael Hanus and
Salvador Lucas and
Aart Middeldorp},
title = {Strongly Sequential and Inductively Sequential Term Rewriting Systems},
journal = {Inf. Process. Lett.},
volume = {67},
number = {1},
pages = {1--8},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00016-7},
doi = {10.1016/S0020-0190(98)00016-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HanusLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HanusS98,
author = {Michael Hanus and
Frank Steiner},
editor = {Joxan Jaffar},
title = {Controlling Search in Funtional Logic Programs},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {347--348},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HanusS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HanusS98,
author = {Michael Hanus and
Frank Steiner},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Controlling Search in Declarative Programs},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {374--390},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056627},
doi = {10.1007/BFB0056627},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HanusS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Hanus97,
author = {Michael Hanus},
title = {Lazy Narrowing with Simplification},
journal = {Comput. Lang.},
volume = {23},
number = {2-4},
pages = {61--85},
year = {1997},
url = {https://doi.org/10.1016/S0096-0551(97)00010-6},
doi = {10.1016/S0096-0551(97)00010-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Hanus97,
author = {Michael Hanus},
title = {Integration of Declarative Paradigms: Benefits and Challenges},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {77--79},
year = {1997},
url = {https://doi.org/10.1145/251595.251602},
doi = {10.1145/251595.251602},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Hanus97,
author = {Michael Hanus},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {A Unified Computation Model for Declarative Programming},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {9--24},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoyEH97,
author = {Sergio Antoy and
Rachid Echahed and
Michael Hanus},
editor = {Lee Naish},
title = {Parallel Evaluation Strategies for Functional Logic Languages},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {138--152},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AntoyEH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hanus97,
author = {Michael Hanus},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {Teaching Functional and Logic Programming with a Single Computational
Model},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {335--350},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033854},
doi = {10.1007/BFB0033854},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Hanus97,
author = {Michael Hanus},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {A Unified Computation Model for Functional and Logic Programming},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {80--93},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263710},
doi = {10.1145/263699.263710},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hanus97,
author = {Michael Hanus},
editor = {Jan Maluszynski},
title = {Multi-Paradigm Declarative Programming (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {43--45},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus97,
author = {Michael Hanus},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {Curry: {A} Multi-Paradigm Declarative Language (system description)},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Hanus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1997,
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026998},
doi = {10.1007/BFB0026998},
isbn = {3-540-63459-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HanusK96,
author = {Michael Hanus and
Herbert Kuchen},
title = {Integration of Functional and Logic Programming},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {306--308},
year = {1996},
url = {https://doi.org/10.1145/234528.234734},
doi = {10.1145/234528.234734},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/HanusK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Hanus96,
author = {Michael Hanus},
title = {Integration of Declarative Paradigms: Benefits and Challenges},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {166},
year = {1996},
url = {https://doi.org/10.1145/242224.242434},
doi = {10.1145/242224.242434},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/Hanus96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HanusL96,
author = {Michael Hanus and
Salvador Lucas},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {A Denotational Semantics for Needed Narrowing},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {259--270},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/HanusL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HanusP96,
author = {Michael Hanus and
Christian Prehofer},
editor = {Harald Ganzinger},
title = {Higher-Order Narrowing with Definitional Trees},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {138--152},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_48},
doi = {10.1007/3-540-61464-8\_48},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HanusP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1996,
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3},
doi = {10.1007/3-540-61735-3},
isbn = {3-540-61735-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Hanus95,
author = {Michael Hanus},
title = {Analysis of Residuating Logic Programs},
journal = {J. Log. Program.},
volume = {24},
number = {3},
pages = {219--245},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00105-F},
doi = {10.1016/0743-1066(94)00105-F},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Hanus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Hanus95,
author = {Michael Hanus},
title = {Compile-time Analysis of Nonlinear Constraints in CLP(\emph{R})},
journal = {New Gener. Comput.},
volume = {13},
number = {2},
pages = {155--186},
year = {1995},
url = {https://doi.org/10.1007/BF03038312},
doi = {10.1007/BF03038312},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Hanus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus95,
author = {Michael Hanus},
editor = {Leon Sterling},
title = {On Extra Variables in (Equational) Logic Programming},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {665--679},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hanus95,
author = {Michael Hanus},
editor = {Maurizio Proietti},
title = {Efficient Translation of Lazy Functional Logic Programs into Prolog},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {252--266},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_19},
doi = {10.1007/3-540-60939-3\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hanus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hanus95,
author = {Michael Hanus},
editor = {John W. Lloyd},
title = {Functional Logic Languages: Combine Search and Efficient Evaluation
(Panel Abstract)},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {625--626},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299967},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/Hanus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Hanus94,
author = {Michael Hanus},
title = {The Integration of Functions into Logic Programming: From Theory to
Practice},
journal = {J. Log. Program.},
volume = {19/20},
pages = {583--628},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90034-5},
doi = {10.1016/0743-1066(94)90034-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Hanus94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Hanus94,
author = {Michael Hanus},
editor = {Peter Fritzson},
title = {Towards the Global Optimization of Functional Logic Programs},
booktitle = {Compiler Construction, 5th International Conference, CC'94, Edinburgh,
UK, April 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {786},
pages = {68--82},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57877-3\_5},
doi = {10.1007/3-540-57877-3\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/Hanus94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Hanus94,
author = {Michael Hanus},
editor = {Donald Sannella},
title = {Lazy Unification with Simplification},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {272--286},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_18},
doi = {10.1007/3-540-57880-3\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Hanus94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hanus94,
author = {Michael Hanus},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Combining Lazy Narrowing and Simplification},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {370--384},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_26},
doi = {10.1007/3-540-58402-1\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hanus94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AntoyEH94,
author = {Sergio Antoy and
Rachid Echahed and
Michael Hanus},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {A Needed Narrowing Strategy},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {268--279},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.177899},
doi = {10.1145/174675.177899},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AntoyEH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HanusZ94,
author = {Michael Hanus and
Frank Zartmann},
editor = {Baudouin Le Charlier},
title = {Mode Analysis of Functional Logic Programs},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {26--42},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_31},
doi = {10.1007/3-540-58485-4\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HanusZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w8,
editor = {Hassan A{\"{\i}}t{-}Kaci and
Michael Hanus and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
Germany, Report MPI-94-224, June 1994},
publisher = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
Germany},
year = {1994},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1994w8.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus93,
author = {Michael Hanus},
editor = {David Scott Warren},
title = {Analysis of Nonlinear Constraints in {CLP(R)}},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {83--99},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HanusJ93,
author = {Michael Hanus and
Berthold Josephs},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {A Debugging Model for Functional Logic Programs},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {28--43},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_69},
doi = {10.1007/3-540-57186-8\_69},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HanusJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hanus93,
author = {Michael Hanus},
editor = {Dale Miller},
title = {Combining Lazy Narrowing and Normalization},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {673},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/Hanus93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Hanus93,
author = {Michael Hanus},
editor = {Christoph Beierle},
title = {Lazy Unification with Inductive Simplification},
booktitle = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
Hagen, Germany, Informatik-Bericht 146},
pages = {42--46},
year = {1993},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Hanus93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hanus92,
author = {Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Incremental Rewriting in Narrowing Derivations},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {228--243},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013829},
doi = {10.1007/BFB0013829},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus92,
author = {Michael Hanus},
editor = {Krzysztof R. Apt},
title = {On the Completeness of Residuation},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {192--206},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/HanusJ92,
author = {Michael Hanus and
Berthold Josephs},
editor = {Mireille Ducass{\'{e}} and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {A Debugging Model for Functional Logic Programs},
booktitle = {Proceedings of the 4th Workshop on Logic Programming Environments
{(LPE} 1992), November 13th, 1992, In conjunction with {JICSLP} 1992,
Washington, DC, {USA.} Technical Report {TR} 92-143},
pages = {28--43},
publisher = {Case Western Reserver University, Cleveland},
year = {1992},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/HanusJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hanus92,
author = {Michael Hanus},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Improving Control of Logic Programs by Using Functional Logic Languages},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {1--23},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_124},
doi = {10.1007/3-540-55844-6\_124},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Hanus92,
author = {Michael Hanus},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {An Abstract Interpretation Algorithm for Residuating Logic Programs},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {304--312},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/pfenning92/Hanus92,
author = {Michael Hanus},
editor = {Frank Pfenning},
title = {Logic Programming with Type Specifications},
booktitle = {Types in Logic Programming},
pages = {91--140},
publisher = {The {MIT} Press},
year = {1992},
timestamp = {Tue, 07 Nov 2023 12:00:44 +0100},
biburl = {https://dblp.org/rec/books/mit/pfenning92/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hanus91,
author = {Michael Hanus},
title = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution},
journal = {Theor. Comput. Sci.},
volume = {89},
number = {1},
pages = {63--106},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(90)90107-S},
doi = {10.1016/0304-3975(90)90107-S},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Hanus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/Hanus91,
author = {Michael Hanus},
editor = {Harold Boley and
Michael M. Richter},
title = {Efficient Implementation of Narrowing and Rewriting},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {344--365},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013543},
doi = {10.1007/BFB0013543},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdk/Hanus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/Hanus91a,
author = {Michael Hanus},
editor = {Harold Boley and
Michael M. Richter},
title = {The {ALF} System: An Efficient Implementation of a Functional Logic
Language},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {414--416},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013551},
doi = {10.1007/BFB0013551},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdk/Hanus91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hanus91,
author = {Michael Hanus},
editor = {Jan Maluszynski and
Martin Wirsing},
title = {The {ALF} System},
booktitle = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {528},
pages = {423--424},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5\_119},
doi = {10.1007/3-540-54444-5\_119},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hanus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Hanus91,
author = {Michael Hanus},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Parametric Order-Sorted Types in Logic Programming},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {181--200},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_67},
doi = {10.1007/3540539816\_67},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Hanus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hanus90,
author = {Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Logic Programs with Equational Type Specifications (Extended Abstract)},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {70--85},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_31},
doi = {10.1007/3-540-53162-9\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hanus90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/Hanus90,
author = {Michael Hanus},
editor = {Alfonso Miola},
title = {A Functional and Logic Language with Polymorphic Types (Extended Abstract)},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '90, Capri, Italy, April 10-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {429},
pages = {215--224},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52531-9\_142},
doi = {10.1007/3-540-52531-9\_142},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/disco/Hanus90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hanus90,
author = {Michael Hanus},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {Compiling Logic Programs with Equality},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {387--400},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024197},
doi = {10.1007/BFB0024197},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hanus90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus89,
author = {Michael Hanus},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Polymorphic High-Order Programming in Prolog},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {382--397},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Hanus89,
author = {Michael Hanus},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {225--240},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_38},
doi = {10.1007/3-540-50940-2\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Hanus89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hanus88,
author = {Michael Hanus},
title = {Horn clause specifications with polymorphic types},
school = {Technical University of Dortmund, Germany},
year = {1988},
url = {https://d-nb.info/891579354},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hanus88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Hanus88,
author = {Michael Hanus},
editor = {Hartmut Ehrig},
title = {Horn Clause Specifications with Polymorphic Types},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/Hanus88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hanus88,
author = {Michael Hanus},
editor = {Pierre Deransart and
Bernard Lorho and
Jan Maluszynski},
title = {Formal Specification of a Prolog Compiler},
booktitle = {Programming Language Implementation and Logic Programming, 1st International
Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {348},
pages = {273--282},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50820-1\_52},
doi = {10.1007/3-540-50820-1\_52},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hanus88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/graphik/Hanus86,
author = {Michael Hanus},
editor = {Frieder Nake},
title = {Formatierer f{\"{u}}r Text und Graphik und ihre Implementierung
mit Smalltalk-80},
booktitle = {Graphik in Dokumenten, Zweites Fachgespr{\"{a}}ch der GI-Fachgruppe
"Graphische Systeme", Bremen, 3.-4. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {119},
pages = {78--89},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-662-07552-4\_6},
doi = {10.1007/978-3-662-07552-4\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/graphik/Hanus86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GanzingerH85,
author = {Harald Ganzinger and
Michael Hanus},
title = {Modular Logic Programming of Compilers},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {242--253},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/GanzingerH85.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-03-22 19:30 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:
