Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ppdp/AntoyH09,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Set functions for functional logic programming},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599420},
  doi          = {10.1145/1599410.1599420},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Aranda-LopezNSS09,
  author       = {Gabriel Aranda{-}L{\'{o}}pez and
                  Susana Nieva and
                  Fernando S{\'{a}}enz{-}P{\'{e}}rez and
                  Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Implementing a fixed point semantics for a constraint deductive database
                  based on hereditary harrop formulas},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {117--128},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599426},
  doi          = {10.1145/1599410.1599426},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Aranda-LopezNSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BentonKBH09,
  author       = {Nick Benton and
                  Andrew Kennedy and
                  Lennart Beringer and
                  Martin Hofmann},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Relational semantics for effect-based program transformations: higher-order
                  store},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {301--312},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599447},
  doi          = {10.1145/1599410.1599447},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BentonKBH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BiernackaB09,
  author       = {Malgorzata Biernacka and
                  Dariusz Biernacki},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Context-based proofs of termination for typed delimited-control operators},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {289--300},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599446},
  doi          = {10.1145/1599410.1599446},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BiernackaB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CastagnaDGP09,
  author       = {Giuseppe Castagna and
                  Mariangiola Dezani{-}Ciancaglini and
                  Elena Giachino and
                  Luca Padovani},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Foundations of session types},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {219--230},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599437},
  doi          = {10.1145/1599410.1599437},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/CastagnaDGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ClericiZ09,
  author       = {Silvia Clerici and
                  Cristina Zoltan},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {A dynamically customizable process-centered evaluation model},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599416},
  doi          = {10.1145/1599410.1599416},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/ClericiZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CodishGS09,
  author       = {Michael Codish and
                  Samir Genaim and
                  Peter J. Stuckey},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {A declarative encoding of telecommunications feature subscription
                  in {SAT}},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {255--266},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599442},
  doi          = {10.1145/1599410.1599442},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/CodishGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CooperW09,
  author       = {Ezra Cooper and
                  Philip Wadler},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {The {RPC} calculus},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {231--242},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599439},
  doi          = {10.1145/1599410.1599439},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/CooperW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DimoulasPF09,
  author       = {Christos Dimoulas and
                  Riccardo Pucella and
                  Matthias Felleisen},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Future contracts},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {195--206},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599435},
  doi          = {10.1145/1599410.1599435},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DimoulasPF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DvorakGPW09,
  author       = {Wolfgang Dvor{\'{a}}k and
                  Georg Gottlob and
                  Reinhard Pichler and
                  Stefan Woltran},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Alternation as a programming paradigm},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {61--72},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599419},
  doi          = {10.1145/1599410.1599419},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/DvorakGPW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/EastlundF09,
  author       = {Carl Eastlund and
                  Matthias Felleisen},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Making induction manifest in modular {ACL2}},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {105--116},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599424},
  doi          = {10.1145/1599410.1599424},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/EastlundF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/FalaschiOP09,
  author       = {Moreno Falaschi and
                  Carlos Olarte and
                  Catuscia Palamidessi},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {A framework for abstract interpretation of timed concurrent constraint
                  programs},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {207--218},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599436},
  doi          = {10.1145/1599410.1599436},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/FalaschiOP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/FeltyM09,
  author       = {Amy P. Felty and
                  Alberto Momigliano},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Reasoning with hypothetical judgments and open terms in hybrid},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {83--92},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599422},
  doi          = {10.1145/1599410.1599422},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/FeltyM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GabbrielliMM09,
  author       = {Maurizio Gabbrielli and
                  Jacopo Mauro and
                  Maria Chiara Meo},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {On the expressive power of priorities in {CHR}},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {267--276},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599443},
  doi          = {10.1145/1599410.1599443},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/GabbrielliMM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GuoZS09,
  author       = {Hai{-}Feng Guo and
                  Wen Zheng and
                  Mahadevan Subramaniam},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {{L2C2:} logic-based {LSC} consistency checking},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {183--194},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599433},
  doi          = {10.1145/1599410.1599433},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GuoZS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/IranzoR09,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Clemente Rubio{-}Manzano},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {A declarative semantics for Bousi{\textasciitilde}Prolog},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {149--160},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599430},
  doi          = {10.1145/1599410.1599430},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/IranzoR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/KaiserL09,
  author       = {Markus Kaiser and
                  Ralf L{\"{a}}mmel},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {An Isabelle/HOL-based model of stratego-like traversal strategies},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {93--104},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599423},
  doi          = {10.1145/1599410.1599423},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/KaiserL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Kobayashi09,
  author       = {Naoki Kobayashi},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Model-checking higher-order functions},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599415},
  doi          = {10.1145/1599410.1599415},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Kobayashi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Lammel09,
  author       = {Ralf L{\"{a}}mmel},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Scrap your boilerplate: prologically!},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599412},
  doi          = {10.1145/1599410.1599412},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Lammel09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/NigamM09,
  author       = {Vivek Nigam and
                  Dale Miller},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Algorithmic specifications in linear logic with subexponentials},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {129--140},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599427},
  doi          = {10.1145/1599410.1599427},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/NigamM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/PhanJ09,
  author       = {Quan Phan and
                  Gerda Janssens},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Path-sensitive region analysis for mercury programs},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {161--170},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599431},
  doi          = {10.1145/1599410.1599431},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/PhanJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SagonasA09,
  author       = {Konstantinos Sagonas and
                  Thanassis Avgerinos},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Automatic refactoring of Erlang programs},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599414},
  doi          = {10.1145/1599410.1599414},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/SagonasA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Tarau09,
  author       = {Paul Tarau},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {An embedded declarative data transformation language},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {171--182},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599432},
  doi          = {10.1145/1599410.1599432},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Tarau09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/UnnoK09,
  author       = {Hiroshi Unno and
                  Naoki Kobayashi},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Dependent type inference with interpolants},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {277--288},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599445},
  doi          = {10.1145/1599410.1599445},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/UnnoK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Vasconcelos09,
  author       = {Vasco Thudichum Vasconcelos},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Session types for linear multithreaded functional programming},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599411},
  doi          = {10.1145/1599410.1599411},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Vasconcelos09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Virseda09,
  author       = {Rafael del Vado V{\'{\i}}rseda},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {A higher-order logical framework for the algorithmic debugging and
                  verification of declarative programs},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599418},
  doi          = {10.1145/1599410.1599418},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Virseda09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/VlaeminckVD09,
  author       = {Hanne Vlaeminck and
                  Joost Vennekens and
                  Marc Denecker},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {A logical framework for configuration software},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {141--148},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599428},
  doi          = {10.1145/1599410.1599428},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/VlaeminckVD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ZhuDFJMPW09,
  author       = {Kenny Qili Zhu and
                  Daniel S. Dantas and
                  Kathleen Fisher and
                  Limin Jia and
                  Yitzhak Mandelbaum and
                  Vivek S. Pai and
                  David Walker},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Language support for processing distributed ad hoc data},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {243--254},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599440},
  doi          = {10.1145/1599410.1599440},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ZhuDFJMPW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2009,
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  publisher    = {{ACM}},
  year         = {2009},
  isbn         = {978-1-60558-568-0},
  timestamp    = {Tue, 22 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/2009.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.