Practical Aspects of Declarative Languages

10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

  • Editors
  • Paul Hudak
  • David S. Warren
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4902)

Table of contents

  1. Front Matter
  2. John Launchbury
    Pages 1-1
  3. Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot et al.
    Pages 2-17
  4. Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Juan José Moreno-Navarro, Lars-Åke Fredlund
    Pages 18-34
  5. Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides
    Pages 35-52
  6. Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey
    Pages 68-83
  7. Moritz Y. Becker, Sebastian Nanz
    Pages 84-99
  8. Philip T. Cox, Patrick Nicholson
    Pages 100-115
  9. Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik
    Pages 116-132
  10. Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum
    Pages 133-149
  11. Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek
    Pages 150-166
  12. Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan
    Pages 167-181
  13. Ralph Becket, Zoltan Somogyi
    Pages 182-196
  14. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
    Pages 197-213
  15. Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl
    Pages 214-229
  16. Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe
    Pages 248-264
  17. Paulo Moura, Paul Crocker, Paulo Nunes
    Pages 265-281
  18. George Giorgidze, Henrik Nilsson
    Pages 282-298

About these proceedings

Keywords

Constraint Objective CAML Scheduling access control answer set programming dataflow analysis decision support systems declarative languages declarative programming functional progra functional programming logic object oriented design programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-77442-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-77441-9
  • Online ISBN 978-3-540-77442-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349