Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/wcflp/wcflp2005.bht:"
@inproceedings{DBLP:conf/wcflp/Almendros-Jimenez05, author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez}, editor = {Sergio Antoy and Michael Hanus}, title = {Constraint logic programming over sets of spatial objects}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {32--42}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085106}, doi = {10.1145/1085099.1085106}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/wcflp/Almendros-Jimenez05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/AriasM05, author = {Emilio Jes{\'{u}}s Gallego Arias and Julio Mari{\~{n}}o}, editor = {Sergio Antoy and Michael Hanus}, title = {An overview of the Sloth2005 curry system: system description}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {66--69}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085113}, doi = {10.1145/1085099.1085113}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcflp/AriasM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/BrasselH05, author = {Bernd Bra{\ss}el and Frank Huch}, editor = {Sergio Antoy and Michael Hanus}, title = {Translating curry to haskell system demo}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {60--65}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085112}, doi = {10.1145/1085099.1085112}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcflp/BrasselH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/Caballero05, author = {Rafael Caballero}, editor = {Sergio Antoy and Michael Hanus}, title = {A declarative debugger of incorrect answers for constraint functional-logic programs}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {8--13}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085102}, doi = {10.1145/1085099.1085102}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wcflp/Caballero05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/Fischer05, author = {Sebastian Fischer}, editor = {Sergio Antoy and Michael Hanus}, title = {A functional logic database library}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {54--59}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085110}, doi = {10.1145/1085099.1085110}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcflp/Fischer05.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} }
@inproceedings{DBLP:conf/wcflp/MarinoR05, author = {Julio Mari{\~{n}}o and Jos{\'{e}} Mar{\'{\i}}a Rey Poza}, editor = {Sergio Antoy and Michael Hanus}, title = {Adding constraints to curry via flat guards}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {14--22}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085104}, doi = {10.1145/1085099.1085104}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcflp/MarinoR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/MartinV05, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Rafael del Vado V{\'{\i}}rseda}, editor = {Sergio Antoy and Michael Hanus}, title = {Designing an efficient computation strategy in \emph{CFLP(FD)} using definitional trees}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {23--31}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085105}, doi = {10.1145/1085099.1085105}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wcflp/MartinV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/OchoaSV05, author = {Claudio Ochoa and Josep Silva and Germ{\'{a}}n Vidal}, editor = {Sergio Antoy and Michael Hanus}, title = {Lightweight program specialization via dynamic slicing}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {1--7}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085101}, doi = {10.1145/1085099.1085101}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wcflp/OchoaSV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcflp/RamosSV05, author = {J. Guadalupe Ramos and Josep Silva and Germ{\'{a}}n Vidal}, editor = {Sergio Antoy and Michael Hanus}, title = {An offline partial evaluator for curry programs}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005}, pages = {49--53}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1085099.1085109}, doi = {10.1145/1085099.1085109}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wcflp/RamosSV05.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} }
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.