Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ppdp/AdelsbergerSW18,
  author       = {Stephan Adelsberger and
                  Anton Setzer and
                  Eric Walkingshaw},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Declarative GUIs: Simple, Consistent, and Verified},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {4:1--4:15},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236962},
  doi          = {10.1145/3236950.3236962},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AdelsbergerSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/AnnenkovE18,
  author       = {Danil Annenkov and
                  Martin Elsman},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Certified Compilation of Financial Contracts},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {5:1--5:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236955},
  doi          = {10.1145/3236950.3236955},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AnnenkovE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BarenbaumBM18,
  author       = {Pablo Barenbaum and
                  Eduardo Bonelli and
                  Kareem Mohamed},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need:
                  Extended Abstract},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {6:1--6:12},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236972},
  doi          = {10.1145/3236950.3236972},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BarenbaumBM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BendkowskiL18,
  author       = {Maciej Bendkowski and
                  Pierre Lescanne},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Combinatorics of Explicit Substitutions},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {7:1--7:12},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236951},
  doi          = {10.1145/3236950.3236951},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BendkowskiL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Benton18,
  author       = {Nick Benton},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Semantic Equivalence Checking for {HHVM} Bytecode},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {3:1--3:8},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236975},
  doi          = {10.1145/3236950.3236975},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Benton18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BreuvartL18,
  author       = {Flavien Breuvart and
                  Ugo Dal Lago},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {On Intersection Types and Probabilistic Lambda Calculi},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {8:1--8:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236968},
  doi          = {10.1145/3236950.3236968},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BreuvartL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ContrastinOR18,
  author       = {Mistral Contrastin and
                  Dominic A. Orchard and
                  Andrew C. Rice},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Automatic Reordering for Dataflow Safety of Datalog},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {9:1--9:17},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236954},
  doi          = {10.1145/3236950.3236954},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ContrastinOR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DangK18,
  author       = {Abhishek Dang and
                  Piyush P. Kurur},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Verse: An {EDSL} for Cryptographic Primitives},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {10:1--10:9},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236971},
  doi          = {10.1145/3236950.3236971},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DangK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Gardner18,
  author       = {Philippa Gardner},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {JaVerT: JavaScript Verification and Testing Framework: Invited Talk},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {1:1--1:4},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236974},
  doi          = {10.1145/3236950.3236974},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Gardner18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GreweEPM18,
  author       = {Sylvia Grewe and
                  Sebastian Erdweg and
                  Andr{\'{e}} Pacak and
                  Mira Mezini},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {System Description: An Infrastructure for Combining Domain Knowledge
                  with Automated Theorem Provers},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {24:1--24:10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236960},
  doi          = {10.1145/3236950.3236960},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GreweEPM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Hanus18,
  author       = {Michael Hanus},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Verifying Fail-Free Declarative Programs},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {12:1--12:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236957},
  doi          = {10.1145/3236950.3236957},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Hanus18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/KlemenS0MH18,
  author       = {Maximiliano Klemen and
                  Nataliia Stulova and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Jos{\'{e}} F. Morales and
                  Manuel V. Hermenegildo},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Static Performance Guarantees for Programs with Runtime Checks},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {13:1--13:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236970},
  doi          = {10.1145/3236950.3236970},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/KlemenS0MH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/MadsenL18,
  author       = {Magnus Madsen and
                  Ondrej Lhot{\'{a}}k},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Implicit Parameters for Logic Programming},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {14:1--14:14},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236953},
  doi          = {10.1145/3236950.3236953},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MadsenL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/NadathurW18,
  author       = {Gopalan Nadathur and
                  Yuting Wang},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Schematic Polymorphism in the Abella Proof Assistant},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {15:1--15:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236961},
  doi          = {10.1145/3236950.3236961},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/NadathurW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/NishidaI18,
  author       = {Yuki Nishida and
                  Atsushi Igarashi},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Nondeterministic Manifest Contracts},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {16:1--16:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236964},
  doi          = {10.1145/3236950.3236964},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/NishidaI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/NogatzKS18,
  author       = {Falco Nogatz and
                  Jona Kalkus and
                  Dietmar Seipel},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Web-based Visualisation for Definite Clause Grammars Using Prolog
                  Meta-Interpreters: System Description},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {25:1--25:10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236966},
  doi          = {10.1145/3236950.3236966},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/NogatzKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/PardoGPV18,
  author       = {Alberto Pardo and
                  Emmanuel Gunther and
                  Miguel Pagano and
                  Marcos Viera},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {An Internalist Approach to Correct-by-Construction Compilers},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {17:1--17:12},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236965},
  doi          = {10.1145/3236950.3236965},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/PardoGPV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/RozplokhasB18,
  author       = {Dmitri Rozplokhas and
                  Dmitri Boulytchev},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Improving Refutational Completeness of Relational Search via Divergence
                  Test},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {18:1--18:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236958},
  doi          = {10.1145/3236950.3236958},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/RozplokhasB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SakanashiS18,
  author       = {Genki Sakanashi and
                  Masahiko Sakai},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Transformation of Combinatorial Optimization Problems Written in Extended
                  {SQL} into Constraint Problems},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {19:1--19:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236963},
  doi          = {10.1145/3236950.3236963},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/SakanashiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SantosMGDG18,
  author       = {Jos{\'{e}} Fragoso Santos and
                  Petar Maksimovic and
                  Th{\'{e}}otime Grohens and
                  Julian Dolby and
                  Philippa Gardner},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Symbolic Execution for JavaScript},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {11:1--11:14},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236956},
  doi          = {10.1145/3236950.3236956},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/SantosMGDG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Schmidt-Schauss18,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  David Sabel and
                  Nils Dallmeyer},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Sequential and Parallel Improvements in a Concurrent Functional Programming
                  Language},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {20:1--20:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236952},
  doi          = {10.1145/3236950.3236952},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Schmidt-Schauss18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SeidlV18,
  author       = {Helmut Seidl and
                  Ralf Vogler},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Three Improvements to the Top-Down Solver},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {21:1--21:14},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236967},
  doi          = {10.1145/3236950.3236967},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SeidlV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Shan18,
  author       = {Chung{-}chieh Shan},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Calculating Distributions},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {2:1--2:5},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236973},
  doi          = {10.1145/3236950.3236973},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Shan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SulzmannS18,
  author       = {Martin Sulzmann and
                  Kai Stadtm{\"{u}}ller},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on
                  Vector Clocks},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {22:1--22:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236959},
  doi          = {10.1145/3236950.3236959},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SulzmannS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Terao18,
  author       = {Taku Terao},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Lazy Abstraction for Higher-Order Program Verification},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {23:1--23:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236969},
  doi          = {10.1145/3236950.3236969},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Terao18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2018,
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {http://dl.acm.org/citation.cfm?id=3236950},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/2018.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.