Skip to main content
Springer Nature Link
Log in

Practical Aspects of Declarative Languages

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Paul Hudak
  2. David S. Warren

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4902)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Industrial Functional Programming

    • John Launchbury
    Pages 1-1

  3. Certified Development Tools Implementation in Objective Caml

    • Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot et al.
    Pages 2-17

  4. Automatic Coding Rule Conformance Checking Using Logic Programming

    • Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Juan José Moreno-Navarro, Lars-Åke Fredlund
    Pages 18-34

  5. Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning

    • Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides
    Pages 35-52

  6. Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

    • Sathiamoorthy Subbarayan
    Pages 53-67

  7. Flexible, Rule-Based Constraint Model Linearisation

    • Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey
    Pages 68-83

  8. The Role of Abduction in Declarative Authorization Policies

    • Moritz Y. Becker, Sebastian Nanz
    Pages 84-99

  9. Unification of Arrays in Spreadsheets with Logic Programming

    • Philip T. Cox, Patrick Nicholson
    Pages 100-115

  10. Specialising Simulator Generators for High-Performance Monte-Carlo Methods

    • Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik
    Pages 116-132

  11. A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers

    • Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum
    Pages 133-149

  12. Matchete: Paths through the Pattern Matching Jungle

    • Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek
    Pages 150-166

  13. Parser Combinators for Ambiguous Left-Recursive Grammars

    • Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan
    Pages 167-181

  14. DCGs + Memoing = Packrat Parsing but Is It Worth It?

    • Ralph Becket, Zoltan Somogyi
    Pages 182-196

  15. An Improved Continuation Call-Based Implementation of Tabling

    • Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
    Pages 197-213

  16. Scheduling Light-Weight Parallelism in ArTCoP

    • Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl
    Pages 214-229

  17. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism

    • Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
    Pages 230-247

  18. Hierarchical Master-Worker Skeletons

    • Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe
    Pages 248-264

  19. High-Level Multi-threading Programming in Logtalk

    • Paulo Moura, Paul Crocker, Paulo Nunes
    Pages 265-281

  20. Switched-On Yampa

    • George Giorgidze, Henrik Nilsson
    Pages 282-298
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top