↓ Skip to main content

Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings

Overview of attention for book
Cover of 'Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Industrial Functional Programming
  3. Altmetric Badge
    Chapter 2 Certified Development Tools Implementation in Objective Caml
  4. Altmetric Badge
    Chapter 3 Automatic Coding Rule Conformance Checking Using Logic Programming
  5. Altmetric Badge
    Chapter 4 Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning
  6. Altmetric Badge
    Chapter 5 Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
  7. Altmetric Badge
    Chapter 6 Flexible, Rule-Based Constraint Model Linearisation
  8. Altmetric Badge
    Chapter 7 The Role of Abduction in Declarative Authorization Policies
  9. Altmetric Badge
    Chapter 8 Unification of Arrays in Spreadsheets with Logic Programming
  10. Altmetric Badge
    Chapter 9 Specialising Simulator Generators for High-Performance Monte-Carlo Methods
  11. Altmetric Badge
    Chapter 10 A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
  12. Altmetric Badge
    Chapter 11 Matchete: Paths through the Pattern Matching Jungle
  13. Altmetric Badge
    Chapter 12 Parser Combinators for Ambiguous Left-Recursive Grammars
  14. Altmetric Badge
    Chapter 13 DCGs + Memoing = Packrat Parsing but Is It Worth It?
  15. Altmetric Badge
    Chapter 14 An Improved Continuation Call-Based Implementation of Tabling
  16. Altmetric Badge
    Chapter 15 Scheduling Light-Weight Parallelism in A rTCoP
  17. Altmetric Badge
    Chapter 16 Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism
  18. Altmetric Badge
    Chapter 17 Hierarchical Master-Worker Skeletons
  19. Altmetric Badge
    Chapter 18 High-Level Multi-threading Programming in Logtalk
  20. Altmetric Badge
    Chapter 19 Switched-On Yampa
  21. Altmetric Badge
    Chapter 20 Model-Based Testing of Thin-Client Web Applications and Navigation Input
  22. Altmetric Badge
    Chapter 21 High-Level Database Programming in Curry
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
6 Wikipedia pages

Readers on

mendeley
62 Mendeley