Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ppdp/AlvesFFM11,
  author       = {Sandra Alves and
                  Maribel Fern{\'{a}}ndez and
                  M{\'{a}}rio Florido and
                  Ian Mackie},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Linearity and recursion in a typed Lambda-calculus},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {173--182},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003500},
  doi          = {10.1145/2003476.2003500},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AlvesFFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BiernackaBL11,
  author       = {Malgorzata Biernacka and
                  Dariusz Biernacki and
                  Sergue{\"{\i}} Lenglet},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Typing control operators in the {CPS} hierarchy},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {149--160},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003498},
  doi          = {10.1145/2003476.2003498},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BiernackaBL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BlanchetteWBOS11,
  author       = {Jasmin Christian Blanchette and
                  Tjark Weber and
                  Mark Batty and
                  Scott Owens and
                  Susmit Sarkar},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Nitpicking {C++} concurrency},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {113--124},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003493},
  doi          = {10.1145/2003476.2003493},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BlanchetteWBOS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BourdierC11,
  author       = {Tony Bourdier and
                  Horatiu Cirstea},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Symbolic analysis of network security policies using rewrite systems},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {77--88},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003489},
  doi          = {10.1145/2003476.2003489},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BourdierC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ChristiansenS11,
  author       = {Jan Christiansen and
                  Daniel Seidel},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Minimally strict polymorphic functions},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {53--64},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003487},
  doi          = {10.1145/2003476.2003487},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/ChristiansenS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ColazzoS11,
  author       = {Dario Colazzo and
                  Carlo Sartiani},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Precision and complexity of XQuery type inference},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {89--100},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003490},
  doi          = {10.1145/2003476.2003490},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/ColazzoS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/EscobarKLMMNS11,
  author       = {Santiago Escobar and
                  Deepak Kapur and
                  Christopher Lynch and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer and
                  Paliath Narendran and
                  Ralf Sasse},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Protocol analysis in Maude-NPA using unification modulo homomorphic
                  encryption},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {65--76},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003488},
  doi          = {10.1145/2003476.2003488},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/EscobarKLMMNS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Guenot11,
  author       = {Nicolas Guenot},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Nested proof search as reduction in the Lambda-calculus},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {183--194},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003501},
  doi          = {10.1145/2003476.2003501},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Guenot11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/HaemmerleLH11,
  author       = {R{\'{e}}my Haemmerl{\'{e}} and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Manuel V. Hermenegildo},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {{CLP} projection for constraint handling rules},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {137--148},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003496},
  doi          = {10.1145/2003476.2003496},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/HaemmerleLH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/InabaHHKN11,
  author       = {Kazuhiro Inaba and
                  Soichiro Hidaka and
                  Zhenjiang Hu and
                  Hiroyuki Kato and
                  Keisuke Nakano},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Graph-transformation verification using monadic second-order logic},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {17--28},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003482},
  doi          = {10.1145/2003476.2003482},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/InabaHHKN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Lagoon11,
  author       = {Vitaly Lagoon},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {The challenges of constraint-based test generation},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003478},
  doi          = {10.1145/2003476.2003478},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Lagoon11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/NigamJLS11,
  author       = {Vivek Nigam and
                  Limin Jia and
                  Boon Thau Loo and
                  Andre Scedrov},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Maintaining distributed logic programs incrementally},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {125--136},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003495},
  doi          = {10.1145/2003476.2003495},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/NigamJLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Rybalchenko11,
  author       = {Andrey Rybalchenko},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Towards automatic synthesis of software verification tools},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {3--4},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003479},
  doi          = {10.1145/2003476.2003479},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Rybalchenko11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SabelS11,
  author       = {David Sabel and
                  Manfred Schmidt{-}Schau{\ss}},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {A contextual semantics for concurrent Haskell with futures},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {101--112},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003492},
  doi          = {10.1145/2003476.2003492},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SabelS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SauthoffJG11,
  author       = {Georg Sauthoff and
                  Stefan Janssen and
                  Robert Giegerich},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Bellman's {GAP:} a declarative language for dynamic programming},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {29--40},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003484},
  doi          = {10.1145/2003476.2003484},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SauthoffJG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SchernhammerM11,
  author       = {Felix Schernhammer and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Incremental checking of well-founded recursive specifications modulo
                  axioms},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {5--16},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003481},
  doi          = {10.1145/2003476.2003481},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/SchernhammerM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ToninhoCP11,
  author       = {Bernardo Toninho and
                  Lu{\'{\i}}s Caires and
                  Frank Pfenning},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Dependent session types via intuitionistic linear type theory},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {161--172},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003499},
  doi          = {10.1145/2003476.2003499},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/ToninhoCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/VirsedaM11,
  author       = {Rafael del Vado V{\'{\i}}rseda and
                  Fernando P{\'{e}}rez Morente},
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {A modular semantics for higher-order declarative programming with
                  constraints},
  booktitle    = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  pages        = {41--52},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003476.2003485},
  doi          = {10.1145/2003476.2003485},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/VirsedaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2011,
  editor       = {Peter Schneider{-}Kamp and
                  Michael Hanus},
  title        = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 20-22, 2011,
                  Odense, Denmark},
  publisher    = {{ACM}},
  year         = {2011},
  isbn         = {978-1-4503-0776-5},
  timestamp    = {Tue, 18 Oct 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/2011.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.