Book Volume 4902 2008

Practical Aspects of Declarative Languages

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

Editors:

ISBN: 978-3-540-77441-9 (Print) 978-3-540-77442-6 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-1

    Industrial Functional Programming

  3. No Access

    Chapter

    Pages 2-17

    Certified Development Tools Implementation in Objective Caml

  4. No Access

    Chapter

    Pages 18-34

    Automatic Coding Rule Conformance Checking Using Logic Programming

  5. No Access

    Chapter

    Pages 35-52

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

  6. No Access

    Chapter

    Pages 53-67

    Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

  7. No Access

    Chapter

    Pages 68-83

    Flexible, Rule-Based Constraint Model Linearisation

  8. No Access

    Chapter

    Pages 84-99

    The Role of Abduction in Declarative Authorization Policies

  9. No Access

    Chapter

    Pages 100-115

    Unification of Arrays in Spreadsheets with Logic Programming

  10. No Access

    Chapter

    Pages 116-132

    Specialising Simulator Generators for High-Performance Monte-Carlo Methods

  11. No Access

    Chapter

    Pages 133-149

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

  12. No Access

    Chapter

    Pages 150-166

    Matchete: Paths through the Pattern Matching Jungle

  13. No Access

    Chapter

    Pages 167-181

    Parser Combinators for Ambiguous Left-Recursive Grammars

  14. No Access

    Chapter

    Pages 182-196

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

  15. No Access

    Chapter

    Pages 197-213

    An Improved Continuation Call-Based Implementation of Tabling

  16. No Access

    Chapter

    Pages 214-229

    Scheduling Light-Weight Parallelism in ArTCoP

  17. No Access

    Chapter

    Pages 230-247

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

  18. No Access

    Chapter

    Pages 248-264

    Hierarchical Master-Worker Skeletons

  19. No Access

    Chapter

    Pages 265-281

    High-Level Multi-threading Programming in Logtalk

  20. No Access

    Chapter

    Pages 282-298

    Switched-On Yampa

  21. No Access

    Chapter

    Pages 299-315

    Model-Based Testing of Thin-Client Web Applications and Navigation Input

previous Page of 2