Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sergio Antoy
@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} }
@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/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} }
@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/corr/abs-1808-07990, author = {Sergio Antoy and Steven Libby}, title = {Making Bubbling Practical}, journal = {CoRR}, volume = {abs/1808.07990}, year = {2018}, url = {http://arxiv.org/abs/1808.07990}, eprinttype = {arXiv}, eprint = {1808.07990}, timestamp = {Sun, 02 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-07990.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/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/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} }
@inproceedings{DBLP:conf/lopstr/AntoyJ16, author = {Sergio Antoy and Andy Jost}, editor = {Manuel V. Hermenegildo and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a}, title = {A New Functional-Logic Compiler for Curry: Sprite}, 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 = {97--113}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-63139-4\_6}, doi = {10.1007/978-3-319-63139-4\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AntoyJ16.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} }
@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/AntoyJ16, author = {Sergio Antoy and Andy Jost}, title = {A New Functional-Logic Compiler for Curry: Sprite}, journal = {CoRR}, volume = {abs/1608.04016}, year = {2016}, url = {http://arxiv.org/abs/1608.04016}, eprinttype = {arXiv}, eprint = {1608.04016}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AntoyJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AntoyJ15, author = {Sergio Antoy and Andy Jost}, editor = {Moreno Falaschi}, title = {Compiling Collapsing Rules in Certain Constructor Systems}, 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 = {57--72}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-27436-2\_4}, doi = {10.1007/978-3-319-27436-2\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AntoyJ15.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/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 16:23:45 +0100}, biburl = {https://dblp.org/rec/conf/wlp/AntoyH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AntoyJL15, author = {Sergio Antoy and Jacob Johannsen and Steven Libby}, editor = {Aart Middeldorp and Femke van Raamsdonk}, title = {Needed Computations Shortcutting Needed Steps}, booktitle = {Proceedings 8th International Workshop on Computing with Terms and Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014}, series = {{EPTCS}}, volume = {183}, pages = {18--32}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.183.2}, doi = {10.4204/EPTCS.183.2}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/AntoyJL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AntoyJ13, author = {Sergio Antoy and Andy Jost}, editor = {Gopal Gupta and Ricardo Pe{\~{n}}a}, title = {Compiling a Functional Logic Language: The Fair Scheme}, booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8901}, pages = {202--219}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-14125-1\_12}, doi = {10.1007/978-3-319-14125-1\_12}, timestamp = {Wed, 26 Oct 2022 22:55:46 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AntoyJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/AntoyJ13, author = {Sergio Antoy and Andy Jost}, editor = {Ricardo Pe{\~{n}}a and Tom Schrijvers}, title = {Are \emph{needed} redexes really needed?}, booktitle = {15th International Symposium on Principles and Practice of Declarative Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013}, pages = {61--71}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2505879.2505881}, doi = {10.1145/2505879.2505881}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AntoyJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/AntoyP12, author = {Sergio Antoy and Arthur Michener Peters}, editor = {Tom Schrijvers and Peter Thiemann}, title = {Compiling a Functional Logic Language: The Basic Scheme}, booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS} 2012, Kobe, Japan, May 23-25, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7294}, pages = {17--31}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29822-6\_5}, doi = {10.1007/978-3-642-29822-6\_5}, timestamp = {Tue, 06 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/AntoyP12.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} }
@article{DBLP:journals/tplp/Antoy11, author = {Sergio Antoy}, title = {On the correctness of pull-tabbing}, journal = {Theory Pract. Log. Program.}, volume = {11}, number = {4-5}, pages = {713--730}, year = {2011}, url = {https://doi.org/10.1017/S1471068411000263}, doi = {10.1017/S1471068411000263}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Antoy11.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} }
@article{DBLP:journals/corr/abs-1108-0190, author = {Sergio Antoy}, title = {On the Correctness of Pull-Tabbing}, journal = {CoRR}, volume = {abs/1108.0190}, year = {2011}, url = {http://arxiv.org/abs/1108.0190}, eprinttype = {arXiv}, eprint = {1108.0190}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-0190.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} }
@article{DBLP:journals/jsc/Antoy10, author = {Sergio Antoy}, title = {Programming with narrowing: {A} tutorial}, journal = {J. Symb. Comput.}, volume = {45}, number = {5}, pages = {501--522}, year = {2010}, url = {https://doi.org/10.1016/j.jsc.2010.01.006}, doi = {10.1016/J.JSC.2010.01.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Antoy10.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/ppdp/2008, editor = {Sergio Antoy and Elvira Albert}, title = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain}, publisher = {{ACM}}, year = {2008}, isbn = {978-1-60558-117-0}, timestamp = {Tue, 11 Nov 2008 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/AntoyB07, author = {Sergio Antoy and Bernd Bra{\ss}el}, editor = {Michael Leuschel and Andreas Podelski}, title = {Computing with subspaces}, booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland}, pages = {121--130}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1273920.1273936}, doi = {10.1145/1273920.1273936}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AntoyB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wrs/2006, editor = {Sergio Antoy}, title = {Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {10}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/10}, timestamp = {Fri, 27 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wrs/2006.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/rta/AntoyBC06, author = {Sergio Antoy and Daniel W. Brown and Su{-}Hui Chiang}, editor = {Frank Pfenning}, title = {On the Correctness of Bubbling}, booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA} 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4098}, pages = {35--49}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11805618\_4}, doi = {10.1007/11805618\_4}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/AntoyBC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Antoy07, author = {Sergio Antoy}, editor = {Sergio Antoy}, title = {Preface}, booktitle = {Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {10}, pages = {1--2}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.02.044}, doi = {10.1016/J.ENTCS.2007.02.044}, timestamp = {Fri, 27 Jan 2023 14:38:38 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Antoy07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AntoyBC07, author = {Sergio Antoy and Daniel W. Brown and Su{-}Hui Chiang}, editor = {Ian Mackie}, title = {Lazy Context Cloning for Non-Deterministic Graph Rewriting}, booktitle = {Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {1}, pages = {3--23}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.10.026}, doi = {10.1016/J.ENTCS.2006.10.026}, timestamp = {Tue, 31 Jan 2023 10:26:02 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AntoyBC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/Antoy05, author = {Sergio Antoy}, title = {Evaluation strategies for functional logic programming}, journal = {J. Symb. Comput.}, volume = {40}, number = {1}, pages = {875--903}, year = {2005}, url = {https://doi.org/10.1016/j.jsc.2004.12.007}, doi = {10.1016/J.JSC.2004.12.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Antoy05.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} }
@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/wrs/2004, editor = {Sergio Antoy and Yoshihito Toyama}, title = {Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {124}, number = {2}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/124/issue/2}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wrs/2004.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/icfp/TolmachAN04, author = {Andrew P. Tolmach and Sergio Antoy and Marius Nita}, editor = {Chris Okasaki and Kathleen Fisher}, title = {Implementing functional logic languages using multiple threads and stores}, booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September 19-21, 2004}, pages = {90--102}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1016850.1016865}, doi = {10.1145/1016850.1016865}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/TolmachAN04.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/ppdp/AntoyJ04, author = {Sergio Antoy and Stephen Johnson}, editor = {Eugenio Moggi and David Scott Warren}, title = {Formalization and abstract implementation of rewriting with nested rules}, booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy}, pages = {144--154}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1013963.1013981}, doi = {10.1145/1013963.1013981}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AntoyJ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AntoyT05, author = {Sergio Antoy and Yoshihito Toyama}, editor = {Sergio Antoy and Yoshihito Toyama}, title = {Preface}, booktitle = {Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {124}, number = {2}, pages = {1--2}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.11.016}, doi = {10.1016/J.ENTCS.2004.11.016}, timestamp = {Mon, 12 Dec 2022 13:37:45 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AntoyT05.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/TolmachA03, author = {Andrew P. Tolmach and Sergio Antoy}, editor = {Lubos Brim and Orna Grumberg}, title = {A monadic semantics for core Curry}, 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 = {16--34}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80691-1}, doi = {10.1016/S1571-0661(04)80691-1}, timestamp = {Wed, 07 Dec 2022 09:18:56 +0100}, biburl = {https://dblp.org/rec/journals/entcs/TolmachA03.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/AntoyL02, author = {Sergio Antoy and Salvador Lucas}, editor = {Marco Comini and Moreno Falaschi}, title = {Demandness in Rewriting and Narrowing}, 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 = {42--51}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80784-9}, doi = {10.1016/S1571-0661(04)80784-9}, timestamp = {Wed, 07 Dec 2022 09:09:50 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AntoyL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Antoy01, author = {Sergio Antoy}, title = {Constructor-Based Conditional Narrowing}, booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy}, pages = {199--206}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/773184.773205}, doi = {10.1145/773184.773205}, timestamp = {Tue, 06 Nov 2018 16:57:25 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Antoy01.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/AntoyIM02, author = {Sergio Antoy and Pascual Juli{\'{a}}n Iranzo and Bart Massey}, editor = {Michael Hanus}, title = {Improving the Efficiency of Non-Deterministic Computations}, 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 = {73--94}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80347-5}, doi = {10.1016/S1571-0661(04)80347-5}, timestamp = {Mon, 05 Dec 2022 15:44:50 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AntoyIM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/Antoy01, author = {Sergio Antoy}, editor = {Bernhard Gramlich and Salvador Lucas}, title = {Evaluation Strategies for Functional Logic 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 = {1--16}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00265-8}, doi = {10.1016/S1571-0661(04)00265-8}, timestamp = {Tue, 07 Nov 2023 11:31:29 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Antoy01.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} }
@article{DBLP:journals/tse/AntoyH00, author = {Sergio Antoy and Richard G. Hamlet}, title = {Automatically Checking an Implementation against Its Formal Specification}, journal = {{IEEE} Trans. Software Eng.}, volume = {26}, number = {1}, pages = {55--69}, year = {2000}, url = {https://doi.org/10.1109/32.825766}, doi = {10.1109/32.825766}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AntoyH00.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/lopstr/AlbertAV00, author = {Elvira Albert and Sergio Antoy and Germ{\'{a}}n Vidal}, editor = {Kung{-}Kiu Lau}, title = {Measuring the Effectiveness of Partial Evaluation}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z}, timestamp = {Tue, 11 Feb 2014 17:45:37 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/AlbertAV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AlbertAV00a, author = {Elvira Albert and Sergio Antoy and Germ{\'{a}}n Vidal}, editor = {Kung{-}Kiu Lau}, title = {Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {103--124}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_7}, doi = {10.1007/3-540-45142-0\_7}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AlbertAV00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wflp/AlbertAV00, author = {Elvira Albert and Sergio Antoy and Germ{\'{a}}n Vidal}, editor = {Mar{\'{\i}}a Alpuente}, title = {A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation}, booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000}, pages = {120--127}, year = {2000}, timestamp = {Tue, 30 Nov 2004 09:20:36 +0100}, biburl = {https://dblp.org/rec/conf/wflp/AlbertAV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/AntoyT99, author = {Sergio Antoy and Andrew P. Tolmach}, editor = {Aart Middeldorp and Taisuke Sato}, title = {Typed Higher-Order Narrowing without Higher-Order Strategies}, 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 = {335--353}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10705424\_22}, doi = {10.1007/10705424\_22}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/AntoyT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/Antoy97, author = {Sergio Antoy}, editor = {Michael Hanus and Jan Heering and Karl Meinke}, title = {Optimal Non-deterministic Functional Logic Computations}, booktitle = {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}, pages = {16--30}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027000}, doi = {10.1007/BFB0027000}, timestamp = {Thu, 14 Oct 2021 10:38:45 +0200}, biburl = {https://dblp.org/rec/conf/alp/Antoy97.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/AntoyA97, author = {Sergio Antoy and Zena M. Ariola}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Narrowing the Narrowing Space}, 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 = {1--15}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033833}, doi = {10.1007/BFB0033833}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AntoyA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AntoyM96, author = {Sergio Antoy and Aart Middeldorp}, title = {A Sequential Reduction Strategy}, journal = {Theor. Comput. Sci.}, volume = {165}, number = {1}, pages = {75--95}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(96)00041-2}, doi = {10.1016/0304-3975(96)00041-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AntoyM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Antoy96, author = {Sergio Antoy}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Needed Narrowing in Prolog (Extended Abstract)}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {473--474}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_106}, doi = {10.1007/3-540-61756-6\_106}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Antoy96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AntoyG94, author = {Sergio Antoy and John D. Gannon}, title = {Using Term Rewriting to Verify Software}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {259--274}, year = {1994}, url = {https://doi.org/10.1109/32.277574}, doi = {10.1109/32.277574}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AntoyG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/AntoyM94, author = {Sergio Antoy and Aart Middeldorp}, editor = {Giorgio Levi and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {A Sequential Reduction Strategy}, booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {850}, pages = {168--185}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58431-5\_13}, doi = {10.1007/3-540-58431-5\_13}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/AntoyM94.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/alp/Antoy92, author = {Sergio Antoy}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Giorgio Levi}, title = {Definitional Trees}, booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {632}, pages = {143--157}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0013825}, doi = {10.1007/BFB0013825}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/Antoy92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctrs/Antoy92, author = {Sergio Antoy}, editor = {Micha{\"{e}}l Rusinowitch and Jean{-}Luc R{\'{e}}my}, title = {Normalization by Leftmost Innermost Rewriting}, booktitle = {Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {656}, pages = {448--457}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56393-8\_36}, doi = {10.1007/3-540-56393-8\_36}, timestamp = {Thu, 08 Aug 2019 14:41:47 +0200}, biburl = {https://dblp.org/rec/conf/ctrs/Antoy92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/disco/AntoyFMS92, author = {Sergio Antoy and Paola Forcheri and Maria Teresa Molfino and Carlo Schenone}, editor = {John P. Fitch}, title = {A Uniform Approach to Deduction and Automatic Implementation}, booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, {DISCO} '92, Bath, UK, April 13-15, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {721}, pages = {132--144}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-57272-4\_30}, doi = {10.1007/3-540-57272-4\_30}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/disco/AntoyFMS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icci/AntoyH92, author = {Sergio Antoy and Richard G. Hamlet}, editor = {Waldemar W. Koczkodaj and Peter E. Lauer and Anestis A. Toptsis}, title = {Self-Checking against Formal Specifications}, booktitle = {Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings}, pages = {355--360}, publisher = {{IEEE} Computer Society}, year = {1992}, timestamp = {Mon, 15 Apr 2002 13:14:05 +0200}, biburl = {https://dblp.org/rec/conf/icci/AntoyH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Antoy91, author = {Sergio Antoy}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Non-Determinism and Lazy Evaluation in Logic Programming}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {318--331}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_23}, doi = {10.1007/978-1-4471-3494-7\_23}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Antoy91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Antoy91, author = {Sergio Antoy}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Lazy Evaluation in Logic}, 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 = {371--382}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_113}, doi = {10.1007/3-540-54444-5\_113}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Antoy91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctrs/Antoy90, author = {Sergio Antoy}, editor = {St{\'{e}}phane Kaplan and Mitsuhiro Okada}, title = {Design Strategies for Rewrite Rules}, booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS} Workshop, Montreal, Canada, June 11-14, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {516}, pages = {333--341}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-54317-1\_102}, doi = {10.1007/3-540-54317-1\_102}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ctrs/Antoy90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsi/AntoyTFMZ90, author = {Sergio Antoy and Paola Forcheri and Maria Teresa Molfino and Marvin V. Zelkowitz}, editor = {Peter A. Ng and C. V. Ramamoorthy and Laurence C. Seifert and Raymond T. Yeh}, title = {Rapid Protoryping of System Enhancements}, booktitle = {Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990}, pages = {330--336}, publisher = {{IEEE} Computer Society}, year = {1990}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsi/AntoyTFMZ90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwssd/Antoy89, author = {Sergio Antoy}, editor = {Sol J. Greenspan}, title = {Systematic design of algebraic specifications}, booktitle = {Proceedings of the 5th International Workshop on Software Specification and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989}, pages = {278--280}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/75199.75241}, doi = {10.1145/75199.75241}, timestamp = {Fri, 18 Feb 2022 16:26:12 +0100}, biburl = {https://dblp.org/rec/conf/iwssd/Antoy89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pami/Antoy87, author = {Sergio Antoy}, title = {Modeling and Isomorphisms of Positional Board Games}, journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.}, volume = {9}, number = {5}, pages = {669--675}, year = {1987}, url = {https://doi.org/10.1109/TPAMI.1987.4767961}, doi = {10.1109/TPAMI.1987.4767961}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pami/Antoy87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pr/YehALR87, author = {Pen{-}Shu Yeh and Sergio Antoy and Anne Litcher and Azriel Rosenfeld}, title = {Address location on envelopes}, journal = {Pattern Recognit.}, volume = {20}, number = {2}, pages = {213--227}, year = {1987}, url = {https://doi.org/10.1016/0031-3203(87)90055-0}, doi = {10.1016/0031-3203(87)90055-0}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pr/YehALR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/prl/Antoy84, author = {Sergio Antoy}, title = {A recursive algorithm for quick and efficient bit reversing}, journal = {Pattern Recognit. Lett.}, volume = {2}, number = {4}, pages = {257--259}, year = {1984}, url = {https://doi.org/10.1016/0167-8655(84)90034-5}, doi = {10.1016/0167-8655(84)90034-5}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/prl/Antoy84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/AntoyD83, author = {Sergio Antoy and Giuliana Dettori}, title = {Is Pascal suitable for GKS?}, journal = {{ACM} {SIGPLAN} Notices}, volume = {18}, number = {5}, pages = {11--14}, year = {1983}, url = {https://doi.org/10.1145/948249.948250}, doi = {10.1145/948249.948250}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/AntoyD83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurographics/AntoyD83, author = {Sergio Antoy and Giuliana Dettori}, editor = {Paul J. W. ten Hagen}, title = {Towards {GKS} Binding to {PASCAL}}, booktitle = {4th European Computer Graphics Conference and Exhibition, Eurographics 1983, Zagreb, Yugoslavia, August 31 - September 2, 1983, Proceedings}, publisher = {North-Holland / Eurographics Association}, year = {1983}, url = {https://doi.org/10.2312/eg.19831016}, doi = {10.2312/EG.19831016}, timestamp = {Tue, 14 Jul 2020 15:42:26 +0200}, biburl = {https://dblp.org/rec/conf/eurographics/AntoyD83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.