Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ppdp/BacciCFV12,
  author       = {Giovanni Bacci and
                  Marco Comini and
                  Marco Antonio Feli{\'{u}} and
                  Alicia Villanueva},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Automatic synthesis of specifications for first order curry programs},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {25--34},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370781},
  doi          = {10.1145/2370776.2370781},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BacciCFV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DardhaGS12,
  author       = {Ornela Dardha and
                  Elena Giachino and
                  Davide Sangiorgi},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Session types revisited},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {139--150},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370794},
  doi          = {10.1145/2370776.2370794},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DardhaGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Emden12,
  author       = {Maarten van Emden},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Matrix code},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370780},
  doi          = {10.1145/2370776.2370780},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Emden12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/FilipiukNN12,
  author       = {Piotr Filipiuk and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Layered fixed point logic},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {45--54},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370784},
  doi          = {10.1145/2370776.2370784},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/FilipiukNN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GieslSSEF12,
  author       = {J{\"{u}}rgen Giesl and
                  Thomas Str{\"{o}}der and
                  Peter Schneider{-}Kamp and
                  Fabian Emmes and
                  Carsten Fuhs},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Symbolic evaluation graphs and term rewriting: a general methodology
                  for analyzing logic programs},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370778},
  doi          = {10.1145/2370776.2370778},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/GieslSSEF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/JaksicP12,
  author       = {Svetlana Jaksic and
                  Luca Padovani},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Exception handling for copyless messaging},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {151--162},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370796},
  doi          = {10.1145/2370776.2370796},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/JaksicP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/LagoP12,
  author       = {Ugo Dal Lago and
                  Barbara Petit},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Linear dependent types in a call-by-value scenario},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {115--126},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370792},
  doi          = {10.1145/2370776.2370792},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/LagoP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/LamC12,
  author       = {Edmund Soon Lee Lam and
                  Iliano Cervesato},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Modeling datalog fact assertion and retraction in linear logic},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {67--78},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370786},
  doi          = {10.1145/2370776.2370786},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/LamC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/LopezCC12,
  author       = {Mac{\'{\i}}as L{\'{o}}pez and
                  Laura M. Castro and
                  David Cabrero},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Declarative distributed advertisement system for iDTV: an industrial
                  experience},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {185--194},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370800},
  doi          = {10.1145/2370776.2370800},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/LopezCC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Madet12,
  author       = {Antoine Madet},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {A polynomial time {\(\lambda\)}-calculus with multithreading and side
                  effects},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {55--66},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370785},
  doi          = {10.1145/2370776.2370785},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Madet12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/MarpleBMG12,
  author       = {Kyle Marple and
                  Ajay Bansal and
                  Richard Min and
                  Gopal Gupta},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Goal-directed execution of answer set programs},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {35--44},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370782},
  doi          = {10.1145/2370776.2370782},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/MarpleBMG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Martin-MartinR12,
  author       = {Enrique Martin{-}Martin and
                  Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Transparent function types: clearing up opacity},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {127--138},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370793},
  doi          = {10.1145/2370776.2370793},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Martin-MartinR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/MonjarazM12,
  author       = {Rub{\'{e}}n Monjaraz and
                  Julio Mari{\~{n}}o},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {From the {\(\pi\)}-calculus to flat {GHC}},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {163--172},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370797},
  doi          = {10.1145/2370776.2370797},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MonjarazM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/OlartePRC12,
  author       = {Carlos Olarte and
                  Elaine Pimentel and
                  Camilo Rueda and
                  N{\'{e}}stor Cata{\~{n}}o},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {A linear concurrent constraint approach for the automatic verification
                  of access permissions},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {207--216},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370802},
  doi          = {10.1145/2370776.2370802},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/OlartePRC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/PlasmeijerLMAK12,
  author       = {Rinus Plasmeijer and
                  Bas Lijnse and
                  Steffen Michels and
                  Peter Achten and
                  Pieter W. M. Koopman},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Task-oriented programming in a pure functional language},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {195--206},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370801},
  doi          = {10.1145/2370776.2370801},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/PlasmeijerLMAK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SchrijversTD12,
  author       = {Tom Schrijvers and
                  Markus Triska and
                  Bart Demoen},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Tor: extensible search with hookable disjunction},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {103--114},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370790},
  doi          = {10.1145/2370776.2370790},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SchrijversTD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SulzmannL12,
  author       = {Martin Sulzmann and
                  Kenny Zhuo Ming Lu},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Regular expression sub-matching using partial derivatives},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {79--90},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370788},
  doi          = {10.1145/2370776.2370788},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SulzmannL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Thielecke12,
  author       = {Hayo Thielecke},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Functional semantics of parsing actions, and left recursion elimination
                  as continuation passing},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {91--102},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370789},
  doi          = {10.1145/2370776.2370789},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Thielecke12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/TriossiORF12,
  author       = {Andrea Triossi and
                  Salvatore Orlando and
                  Alessandra Raffaet{\`{a}} and
                  Thom W. Fr{\"{u}}hwirth},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Compiling {CHR} to parallel hardware},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {173--184},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370798},
  doi          = {10.1145/2370776.2370798},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/TriossiORF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2012,
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2370776},
  isbn         = {978-1-4503-1522-7},
  timestamp    = {Sun, 11 Nov 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/2012.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.