default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ppdp/ppdp2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/ppdp/AotoS14,
author = {Takahito Aoto and
Sorin Stratulat},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Decision Procedures for Proving Inductive Theorems without Induction},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {237--248},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643156},
doi = {10.1145/2643135.2643156},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AotoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AsaiFTZ14,
author = {Kenichi Asai and
Luminous Fennell and
Peter Thiemann and
Yang Zhang},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {A Type Theoretic Specification of Partial Evaluation},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {57--68},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643146},
doi = {10.1145/2643135.2643146},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AsaiFTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChenDY14,
author = {Tzu{-}Chun Chen and
Mariangiola Dezani{-}Ciancaglini and
Nobuko Yoshida},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {On the Preciseness of Subtyping in Session Types},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {135--146},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643138},
doi = {10.1145/2643135.2643138},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/ChenDY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyAA14,
author = {James Cheney and
Amal Ahmed and
Umut A. Acar},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Database Queries that Explain their Work},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {271--282},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643143},
doi = {10.1145/2643135.2643143},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CheneyAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CruzRG14,
author = {Fl{\'{a}}vio Cruz and
Ricardo Rocha and
Seth Copen Goldstein},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Design and Implementation of a Multithreaded Virtual Machine for Executing
Linear Logic Programs},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {43--54},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643150},
doi = {10.1145/2643135.2643150},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CruzRG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DouenceT14,
author = {R{\'{e}}mi Douence and
Nicolas Tabareau},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Lazier Imperative Programming},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {7--18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643159},
doi = {10.1145/2643135.2643159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DouenceT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DownenMAV14,
author = {Paul Downen and
Luke Maurer and
Zena M. Ariola and
Daniele Varacca},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Continuations, Processes, and Sharing},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {69--80},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643155},
doi = {10.1145/2643135.2643155},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DownenMAV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FerreiraP14,
author = {Francisco Ferreira and
Brigitte Pientka},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Bidirectional Elaboration of Dependently Typed Programs},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {161--174},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643153},
doi = {10.1145/2643135.2643153},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FerreiraP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Giacobazzi14,
author = {Roberto Giacobazzi},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Unveiling and Veiling Information in Programs},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {211--212},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643137},
doi = {10.1145/2643135.2643137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Giacobazzi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GiavittoE14,
author = {Jean{-}Louis Giavitto and
Jos{\'{e}} Echeveste},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Real-Time Matching of Antescofo Temporal Patterns},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {93--104},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643158},
doi = {10.1145/2643135.2643158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GiavittoE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Haemmerle14,
author = {R{\'{e}}my Haemmerl{\'{e}}},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {On Combining Backward and Forward Chaining in Constraint Logic Programming},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {213--224},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643144},
doi = {10.1145/2643135.2643144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Haemmerle14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Ilik14,
author = {Danko Ilik},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proofs in continuation-passing style: normalization of G{\"{o}}del's
System {T} extended with sums and delimited control operators: Distilled
Tutorial},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {55--56},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643161},
doi = {10.1145/2643135.2643161},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Ilik14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/JansenDDJ14,
author = {Joachim Jansen and
Ingmar Dasseville and
Jo Devriendt and
Gerda Janssens},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Experimental Evaluation of a State-Of-The-Art Grounder},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {249--258},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643149},
doi = {10.1145/2643135.2643149},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/JansenDDJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Karczmarczuk14,
author = {Jerzy Karczmarczuk},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {On the Declarative Structure of Quantum Concepts: States and Observables
(Distilled Tutorial)},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {105--110},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643162},
doi = {10.1145/2643135.2643162},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Karczmarczuk14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KranzS14,
author = {Julian Kranz and
Axel Simon},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Structure-Preserving Compilation: Efficient Integration of Functional
DSLs into Legacy Systems},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {187--198},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643157},
doi = {10.1145/2643135.2643157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KranzS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LammelVLSF14,
author = {Ralf L{\"{a}}mmel and
Andrei Varanovich and
Martin Leinberger and
Thomas Schmorleiz and
Jean{-}Marie Favre},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Declarative Software Development: Distilled Tutorial},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {1--6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643163},
doi = {10.1145/2643135.2643163},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LammelVLSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LucasM14,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proving Operational Termination of Declarative Programs in General
Logics},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {111--122},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643152},
doi = {10.1145/2643135.2643152},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LucasM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MehnerSSV14,
author = {Stefan Mehner and
Daniel Seidel and
Lutz Stra{\ss}burger and
Janis Voigtl{\"{a}}nder},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Parametricity and Proving Free Theorems for Functional-Logic Languages},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {19--30},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643147},
doi = {10.1145/2643135.2643147},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MehnerSSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Neron14,
author = {Pierre Neron},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Elimination of Square Roots and Divisions by Partial Inlining},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {81--92},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643140},
doi = {10.1145/2643135.2643140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Neron14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NilssonP14,
author = {Henrik Nilsson and
Ivan Perez},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Declarative Game Programming: Distilled Tutorial},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {159--160},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643160},
doi = {10.1145/2643135.2643160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/NilssonP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PachecoZH14,
author = {Hugo Pacheco and
Tao Zan and
Zhenjiang Hu},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {BiFluX: {A} Bidirectional Functional Update Language for {XML}},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {147--158},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643141},
doi = {10.1145/2643135.2643141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PachecoZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Ramsay14,
author = {Steven J. Ramsay},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Exact Intersection Type Abstractions for Safety Checking of Recursion
Schemes},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {175--186},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643142},
doi = {10.1145/2643135.2643142},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Ramsay14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Schopp14,
author = {Ulrich Sch{\"{o}}pp},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Organising Low-Level Programs using Higher Types},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {199--210},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643151},
doi = {10.1145/2643135.2643151},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Schopp14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversWDD14,
author = {Tom Schrijvers and
Nicolas Wu and
Benoit Desouter and
Bart Demoen},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Heuristics Entwined with Handlers Combined: From Functional Specification
to Logic Programming Implementation},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {259--270},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643145},
doi = {10.1145/2643135.2643145},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SchrijversWDD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/StulovaMH14,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Assertion-based Debugging of Higher-Order {(C)LP} Programs},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {225--235},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643148},
doi = {10.1145/2643135.2643148},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/StulovaMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Tarau14,
author = {Paul Tarau},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Bijective Collection Encodings and Boolean Operations with Hereditarily
Binary Natural Numbers},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {31--42},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643139},
doi = {10.1145/2643135.2643139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/YangEMMN14,
author = {Fan Yang and
Santiago Escobar and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Theories of Homomorphic Encryption, Unification, and the Finite Variant
Property},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {123--133},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643154},
doi = {10.1145/2643135.2643154},
timestamp = {Thu, 06 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/YangEMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2643135},
isbn = {978-1-4503-2947-7},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2014.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.
retrieved on 2025-01-04 19:13 CET 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:
