Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ppdp/ppdp2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/ppdp/BenzakenCCM08,
author = {V{\'{e}}ronique Benzaken and
Giuseppe Castagna and
Dario Colazzo and
C{\'{e}}dric Miachon},
editor = {Sergio Antoy and
Elvira Albert},
title = {Pattern by example: type-driven visual programming of {XML} queries},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {131--142},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389466},
doi = {10.1145/1389449.1389466},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BenzakenCCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BertolissiF08,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Sergio Antoy and
Elvira Albert},
title = {A rewriting framework for the composition of access control policies},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {217--225},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389476},
doi = {10.1145/1389449.1389476},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BertolissiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BertotK08,
author = {Yves Bertot and
Vladimir Komendantsky},
editor = {Sergio Antoy and
Elvira Albert},
title = {Fixed point semantics and partial recursion in Coq},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {89--96},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389461},
doi = {10.1145/1389449.1389461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BertotK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CaballeroRR08,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Carlos A. Romero{-}D{\'{\i}}az},
editor = {Sergio Antoy and
Elvira Albert},
title = {Similarity-based reasoning in qualified logic programming},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {185--194},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389472},
doi = {10.1145/1389449.1389472},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CaballeroRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChenouardGS08,
author = {Rapha{\"{e}}l Chenouard and
Laurent Granvilliers and
Ricardo Soto},
editor = {Sergio Antoy and
Elvira Albert},
title = {Model-driven constraint programming},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {236--246},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389479},
doi = {10.1145/1389449.1389479},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/ChenouardGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChitilD08,
author = {Olaf Chitil and
Thomas Davie},
editor = {Sergio Antoy and
Elvira Albert},
title = {Comprehending finite maps for algorithmic debugging of higher-order
functional programs},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {205--216},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389475},
doi = {10.1145/1389449.1389475},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ChitilD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DeckerM08,
author = {Hendrik Decker and
Davide Martinenghi},
editor = {Sergio Antoy and
Elvira Albert},
title = {Classifying integrity checking methods with regard to inconsistency
tolerance},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {195--204},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389474},
doi = {10.1145/1389449.1389474},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/DeckerM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FeydySS08,
author = {Thibaut Feydy and
Andreas Schutt and
Peter J. Stuckey},
editor = {Sergio Antoy and
Elvira Albert},
title = {Global difference constraint propagation for finite domain solvers},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {226--235},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389478},
doi = {10.1145/1389449.1389478},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FeydySS08.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/ppdp/Leuschel08,
author = {Michael Leuschel},
editor = {Sergio Antoy and
Elvira Albert},
title = {Declarative programming for verification: lessons and outlook},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {1--7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389450},
doi = {10.1145/1389449.1389450},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Leuschel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lu08,
author = {Lunjin Lu},
editor = {Sergio Antoy and
Elvira Albert},
title = {Inferring precise polymorphic type dependencies in 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 = {143--151},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389467},
doi = {10.1145/1389449.1389467},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Lu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LucasM08,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Sergio Antoy and
Elvira Albert},
title = {Order-sorted dependency pairs},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {108--119},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389463},
doi = {10.1145/1389449.1389463},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LucasM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MarionP08,
author = {Jean{-}Yves Marion and
Romain P{\'{e}}choux},
editor = {Sergio Antoy and
Elvira Albert},
title = {Characterizations of polynomial complexity classes with a better intensionality},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {79--88},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389460},
doi = {10.1145/1389449.1389460},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MarionP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MartinFHRSV08,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
editor = {Sergio Antoy and
Elvira Albert},
title = {Cooperation of constraint domains in the \emph{TOY} system},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {258--268},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389481},
doi = {10.1145/1389449.1389481},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MartinFHRSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MeraLCH08,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Sergio Antoy and
Elvira Albert},
title = {Towards execution time estimation in abstract machine-based languages},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {174--184},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389471},
doi = {10.1145/1389449.1389471},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MeraLCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MontenegroPS08,
author = {Manuel Montenegro and
Ricardo Pena and
Clara Segura},
editor = {Sergio Antoy and
Elvira Albert},
title = {A type system for safe memory management and its proof of correctness},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {152--162},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389468},
doi = {10.1145/1389449.1389468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MontenegroPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MoralesCH08,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Sergio Antoy and
Elvira Albert},
title = {Comparing tag scheme variations using an abstract machine generator},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {32--43},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389455},
doi = {10.1145/1389449.1389455},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MoralesCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/OlarteV08,
author = {Carlos Olarte and
Frank D. Valencia},
editor = {Sergio Antoy and
Elvira Albert},
title = {The expressivity of universal timed {CCP:} undecidability of Monadic
{FLTL} and closure operators for security},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {8--19},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389452},
doi = {10.1145/1389449.1389452},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/OlarteV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PaoliniP08,
author = {Luca Paolini and
Mauro Piccolo},
editor = {Sergio Antoy and
Elvira Albert},
title = {Semantically linear programming languages},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {97--107},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389462},
doi = {10.1145/1389449.1389462},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PaoliniP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PientkaD08,
author = {Brigitte Pientka and
Jana Dunfield},
editor = {Sergio Antoy and
Elvira Albert},
title = {Programming with proofs and explicit contexts},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {163--173},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389469},
doi = {10.1145/1389449.1389469},
timestamp = {Fri, 11 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PientkaD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PlasmeijerJKA08,
author = {Rinus Plasmeijer and
Jan Martin Jansen and
Pieter W. M. Koopman and
Peter Achten},
editor = {Sergio Antoy and
Elvira Albert},
title = {Declarative Ajax and client side evaluation of workflows using iTasks},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {56--66},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389457},
doi = {10.1145/1389449.1389457},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PlasmeijerJKA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchulteS08,
author = {Christian Schulte and
Peter J. Stuckey},
editor = {Sergio Antoy and
Elvira Albert},
title = {Dynamic variable elimination during propagation solving},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {247--257},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389480},
doi = {10.1145/1389449.1389480},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SchulteS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SilvaO08,
author = {Paulo F. Silva and
Jos{\'{e}} Nuno Oliveira},
editor = {Sergio Antoy and
Elvira Albert},
title = {'Galculator': functional prototype of a Galois-connection based proof
assistant},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {44--55},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389456},
doi = {10.1145/1389449.1389456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SilvaO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SulzmannL08,
author = {Martin Sulzmann and
Edmund S. L. Lam},
editor = {Sergio Antoy and
Elvira Albert},
title = {Parallel execution of multi-set constraint rewrite rules},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {20--31},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389453},
doi = {10.1145/1389449.1389453},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SulzmannL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ThiemannN08,
author = {Peter Thiemann and
Matthias Neubauer},
editor = {Sergio Antoy and
Elvira Albert},
title = {Macros for context-free grammars},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {120--130},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389465},
doi = {10.1145/1389449.1389465},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ThiemannN08.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}
}
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.
retrieved on 2024-06-08 08:17 CEST from data curated 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:
