Search dblp for Publications

export results for "toc:db/conf/ppdp/ppdp2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ppdp/Al-HumaimeedyF15,
  author       = {Abeer S. Al{-}Humaimeedy and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Enhancing the specification and verification techniques of multiparty
                  sessions in {SOC}},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {19--30},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790515},
  doi          = {10.1145/2790449.2790515},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Al-HumaimeedyF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/AngelisFPP15,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Semantics-based generation of verification conditions by program specialization},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {91--102},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790529},
  doi          = {10.1145/2790449.2790529},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AngelisFPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BartakDZ15,
  author       = {Roman Bart{\'{a}}k and
                  Agostino Dovier and
                  Neng{-}Fa Zhou},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {On modeling planning problems in tabled logic programming},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {31--42},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790521},
  doi          = {10.1145/2790449.2790521},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BartakDZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Brock-Nannestad15,
  author       = {Taus Brock{-}Nannestad and
                  Nicolas Guenot and
                  Daniel Gustafsson},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Computation in focused intuitionistic logic},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {43--54},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790528},
  doi          = {10.1145/2790449.2790528},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Brock-Nannestad15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CaballeroGS15,
  author       = {Rafael Caballero and
                  Yolanda Garc{\'{\i}}a{-}Ruiz and
                  Fernando S{\'{a}}enz{-}P{\'{e}}rez},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Debugging of wrong and missing answers for datalog programs with constraint
                  handling rules},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {55--66},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790522},
  doi          = {10.1145/2790449.2790522},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/CaballeroGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CanoRLP15,
  author       = {Mauricio Cano and
                  Camilo Rueda and
                  Hugo A. L{\'{o}}pez and
                  Jorge A. P{\'{e}}rez},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Declarative interpretations of session-based concurrency},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {67--78},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790513},
  doi          = {10.1145/2790449.2790513},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/CanoRLP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ChenLJZL15,
  author       = {Chen Chen and
                  Lay Kuan Loh and
                  Limin Jia and
                  Wenchao Zhou and
                  Boon Thau Loo},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Automated verification of safety properties of declarative networking
                  programs},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {79--90},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790516},
  doi          = {10.1145/2790449.2790516},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ChenLJZL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Cousot15,
  author       = {Patrick Cousot},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Verification by abstract interpretation, soundness and abstract induction},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {1--4},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790451},
  doi          = {10.1145/2790449.2790451},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Cousot15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Fruhwirth15,
  author       = {Thom W. Fr{\"{u}}hwirth},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {A devil's advocate against termination of direct recursion},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {103--113},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790518},
  doi          = {10.1145/2790449.2790518},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Fruhwirth15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GallF15,
  author       = {Daniel Gall and
                  Thom W. Fr{\"{u}}hwirth},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {A refined operational semantics for {ACT-R:} investigating the relations
                  between different {ACT-R} formalizations},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {114--124},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790517},
  doi          = {10.1145/2790449.2790517},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GallF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GarciaLL15,
  author       = {Abel Garcia and
                  Cosimo Laneve and
                  Michael Lienhardt},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Static analysis of cloud elasticity},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {125--136},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790524},
  doi          = {10.1145/2790449.2790524},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GarciaLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GiantsiosPS15,
  author       = {Aggelos Giantsios and
                  Nikolaos S. Papaspyrou and
                  Konstantinos Sagonas},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Concolic testing for functional languages},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {137--148},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790519},
  doi          = {10.1145/2790449.2790519},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/GiantsiosPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GrandeBS15,
  author       = {Johan Grande and
                  G{\'{e}}rard Boudol and
                  Manuel Serrano},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Jthread, a deadlock-free mutex library},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {149--160},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790523},
  doi          = {10.1145/2790449.2790523},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GrandeBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/HaarPRV15,
  author       = {Stefan Haar and
                  Salim Perchy and
                  Camilo Rueda and
                  Frank D. Valencia},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic
                  logic},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {161--172},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790520},
  doi          = {10.1145/2790449.2790520},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/HaarPRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Hofmann15,
  author       = {Martin Hofmann},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Automatic amortized analysis},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {5},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790450},
  doi          = {10.1145/2790449.2790450},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Hofmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/MandelPP15,
  author       = {Louis Mandel and
                  C{\'{e}}dric Pasteur and
                  Marc Pouzet},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {ReactiveML, ten years later},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {6--17},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790509},
  doi          = {10.1145/2790449.2790509},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MandelPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/MartinezFS15,
  author       = {Thierry Martinez and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Search by constraint propagation},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {173--183},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790527},
  doi          = {10.1145/2790449.2790527},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MartinezFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/MeiklejohnR15,
  author       = {Christopher Meiklejohn and
                  Peter Van Roy},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Lasp: a language for distributed, coordination-free programming},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {184--195},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790525},
  doi          = {10.1145/2790449.2790525},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MeiklejohnR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Miller15,
  author       = {Dale Miller},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Proof checking and logic programming},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {18},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790510},
  doi          = {10.1145/2790449.2790510},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Miller15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/RivasJS15,
  author       = {Exequiel Rivas and
                  Mauro Jaskelioff and
                  Tom Schrijvers},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {From monoids to near-semirings: the essence of MonadPlus and alternative},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {196--207},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790514},
  doi          = {10.1145/2790449.2790514},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/RivasJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/RondogiannisT15,
  author       = {Panos Rondogiannis and
                  Antonis Troumpoukis},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Expressing preferences in logic programming using an infinite-valued
                  logic},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {208--219},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790511},
  doi          = {10.1145/2790449.2790511},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/RondogiannisT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Schmidt-Schauss15,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  David Sabel},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Improvements in a functional core language with call-by-need operational
                  semantics},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {220--231},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790512},
  doi          = {10.1145/2790449.2790512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Schmidt-Schauss15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/StievenartNMR15,
  author       = {Quentin Sti{\'{e}}venart and
                  Jens Nicolay and
                  Wolfgang De Meuter and
                  Coen De Roover},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Detecting concurrency bugs in higher-order programs through abstract
                  interpretation},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {232--243},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790530},
  doi          = {10.1145/2790449.2790530},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/StievenartNMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Tarau15,
  author       = {Paul Tarau},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {On a uniform representation of combinators, arithmetic, lambda terms
                  and types},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {244--255},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790526},
  doi          = {10.1145/2790449.2790526},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Tarau15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2015,
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2790449},
  isbn         = {978-1-4503-3516-4},
  timestamp    = {Wed, 01 Jul 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.