Search dblp for Publications

export results for "toc:db/conf/padl/padl2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/padl/BeckerN08,
  author       = {Moritz Y. Becker and
                  Sebastian Nanz},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {The Role of Abduction in Declarative Authorization Policies},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_7},
  doi          = {10.1007/978-3-540-77442-6\_7},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BeckerN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BecketS08,
  author       = {Ralph Becket and
                  Zoltan Somogyi},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {DCGs + Memoing = Packrat Parsing but Is It Worth It?},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_13},
  doi          = {10.1007/978-3-540-77442-6\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BecketS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BertholdDLP08,
  author       = {Jost Berthold and
                  Mischa Dieterle and
                  Rita Loogen and
                  Steffen Priebe},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Hierarchical Master-Worker Skeletons},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {248--264},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_17},
  doi          = {10.1007/978-3-540-77442-6\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BertholdDLP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BertholdZL08,
  author       = {Jost Berthold and
                  Abyd Al Zain and
                  Hans{-}Wolfgang Loidl},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Scheduling Light-Weight Parallelism in ArTCoP},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {214--229},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_15},
  doi          = {10.1007/978-3-540-77442-6\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BertholdZL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BrandDPS08,
  author       = {Sebastian Brand and
                  Gregory J. Duck and
                  Jakob Puchinger and
                  Peter J. Stuckey},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Flexible, Rule-Based Constraint Model Linearisation},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {68--83},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_6},
  doi          = {10.1007/978-3-540-77442-6\_6},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BrandDPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BrasselHM08,
  author       = {Bernd Bra{\ss}el and
                  Michael Hanus and
                  Marion M{\"{u}}ller},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {High-Level Database Programming in Curry},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {316--332},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_21},
  doi          = {10.1007/978-3-540-77442-6\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BrasselHM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CasasCH08,
  author       = {Amadeo Casas and
                  Manuel Carro and
                  Manuel V. Hermenegildo},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Towards a High-Level Implementation of Execution Primitives for Unrestricted,
                  Independent And-Parallelism},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {230--247},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_16},
  doi          = {10.1007/978-3-540-77442-6\_16},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/CasasCH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CoxN08,
  author       = {Philip T. Cox and
                  Patrick K. Nicholson},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Unification of Arrays in Spreadsheets with Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {100--115},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_8},
  doi          = {10.1007/978-3-540-77442-6\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/CoxN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/EshkevariAC08,
  author       = {Laleh Mousavi Eshkevari and
                  Venera Arnaoudova and
                  Constantinos Constantinides},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Comprehension and Dependency Analysis of Aspect-Oriented Programs
                  through Declarative Reasoning},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {35--52},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_4},
  doi          = {10.1007/978-3-540-77442-6\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/EshkevariAC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/FernandezFFGM08,
  author       = {Mary F. Fern{\'{a}}ndez and
                  Kathleen Fisher and
                  J. Nathan Foster and
                  Michael Greenberg and
                  Yitzhak Mandelbaum},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {A Generic Programming Toolkit for {PADS/ML:} First-Class Upgrades
                  for Third-Party Developers},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_10},
  doi          = {10.1007/978-3-540-77442-6\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/FernandezFFGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/FrostHC08,
  author       = {Richard A. Frost and
                  Rahmatullah Hafiz and
                  Paul Callaghan},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Parser Combinators for Ambiguous Left-Recursive Grammars},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_12},
  doi          = {10.1007/978-3-540-77442-6\_12},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/FrostHC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/GiorgidzeN08,
  author       = {George Giorgidze and
                  Henrik Nilsson},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Switched-On Yampa},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {282--298},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_19},
  doi          = {10.1007/978-3-540-77442-6\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/GiorgidzeN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/GuzmanCHSR08,
  author       = {Pablo Chico de Guzm{\'{a}}n and
                  Manuel Carro and
                  Manuel V. Hermenegildo and
                  Cl{\'{a}}udio Silva and
                  Ricardo Rocha},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {An Improved Continuation Call-Based Implementation of Tabling},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {197--213},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_14},
  doi          = {10.1007/978-3-540-77442-6\_14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/GuzmanCHSR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/HirzelNBV08,
  author       = {Martin Hirzel and
                  Nathaniel Nystrom and
                  Bard Bloom and
                  Jan Vitek},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Matchete: Paths through the Pattern Matching Jungle},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {150--166},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_11},
  doi          = {10.1007/978-3-540-77442-6\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/HirzelNBV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/KellerCCSB08,
  author       = {Gabriele Keller and
                  Hugh Chaffey{-}Millar and
                  Manuel M. T. Chakravarty and
                  Don Stewart and
                  Christopher Barner{-}Kowollik},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Specialising Simulator Generators for High-Performance Monte-Carlo
                  Methods},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {116--132},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_9},
  doi          = {10.1007/978-3-540-77442-6\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/KellerCCSB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/KoopmanAP08,
  author       = {Pieter W. M. Koopman and
                  Peter Achten and
                  Rinus Plasmeijer},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Model-Based Testing of Thin-Client Web Applications and Navigation
                  Input},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {299--315},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_20},
  doi          = {10.1007/978-3-540-77442-6\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/KoopmanAP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Launchbury08,
  author       = {John Launchbury},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Industrial Functional Programming},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {1},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_1},
  doi          = {10.1007/978-3-540-77442-6\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Launchbury08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Marpons-UceroMCHMF08,
  author       = {Guillem Marpons{-}Ucero and
                  Julio Mari{\~{n}}o{-}Carballo and
                  Manuel Carro and
                  {\'{A}}ngel Herranz{-}Nieva and
                  Juan Jos{\'{e}} Moreno{-}Navarro and
                  Lars{-}{\AA}ke Fredlund},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Automatic Coding Rule Conformance Checking Using Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_3},
  doi          = {10.1007/978-3-540-77442-6\_3},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Marpons-UceroMCHMF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/MouraCN08,
  author       = {Paulo Moura and
                  Paul Crocker and
                  Paulo Nunes},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {High-Level Multi-threading Programming in Logtalk},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {265--281},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_18},
  doi          = {10.1007/978-3-540-77442-6\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/MouraCN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/PaganoACCCMW08,
  author       = {Bruno Pagano and
                  Olivier Andrieu and
                  Benjamin Canou and
                  Emmanuel Chailloux and
                  Jean{-}Louis Cola{\c{c}}o and
                  Thomas Moniot and
                  Philippe Wang},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Certified Development Tools Implementation in Objective Caml},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {2--17},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_2},
  doi          = {10.1007/978-3-540-77442-6\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/PaganoACCCMW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Subbarayan08,
  author       = {Sathiamoorthy Subbarayan},
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Efficient Reasoning for Nogoods in Constraint Solvers with BDDs},
  booktitle    = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  pages        = {53--67},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6\_5},
  doi          = {10.1007/978-3-540-77442-6\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/Subbarayan08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/padl/2008,
  editor       = {Paul Hudak and
                  David Scott Warren},
  title        = {Practical Aspects of Declarative Languages, 10th International Symposium,
                  {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4902},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77442-6},
  doi          = {10.1007/978-3-540-77442-6},
  isbn         = {978-3-540-77441-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/2008.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.