Practical Aspects of Declarative Languages

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 First Class Patterns?
3. Altmetric Badge
   Chapter 2 Parallel Functional Reactive Programming
4. Altmetric Badge
   Chapter 3 Out-of-Core Functional Programming with Type-Based Primitives
5. Altmetric Badge
   Chapter 4 A Functional Logic Programming Approach to Graphical User Interfaces
6. Altmetric Badge
   Chapter 5 Using Static Analysis to Compile Non-sequential Functional Logic Programs?
7. Altmetric Badge
   Chapter 6 GNU Prolog: Beyond Compiling Prolog to C
8. Altmetric Badge
   Chapter 7 Heap Garbage Collection in XSB: Practice and Experience
9. Altmetric Badge
   Chapter 8 Implementation of a Linear Tabling Mechanism
10. Altmetric Badge
    Chapter 9 How to Incorporate Negation in a Prolog Compiler?
11. Altmetric Badge
    Chapter 10 A Logic-Based Information System
12. Altmetric Badge
    Chapter 11 HIPPO — A Declarative Graphical Modelling System
13. Altmetric Badge
    Chapter 12 Calculating a New Data Mining Algorithm for
14. Altmetric Badge
    Chapter 13 A Toolkit for Constraint-Based Inference Engines
15. Altmetric Badge
    Chapter 14 CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
16. Altmetric Badge
    Chapter 15 Programming Deep Concurrent Constraint Combinators
17. Altmetric Badge
    Chapter 16 Labeling and Partial Local Consistency for Soft Constraint Programming
18. Altmetric Badge
    Chapter 17 Transformation-by-Example for XML
19. Altmetric Badge
    Chapter 18 Modeling HTML in Haskell
20. Altmetric Badge
    Chapter 19 A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database
21. Altmetric Badge
    Chapter 20 A Hybrid Approach for Solving Large Scale Crew Scheduling Problems
22. Altmetric Badge
    Chapter 21 Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs
23. Altmetric Badge
    Chapter 22 Current Trends in Logic Programming: Prospects and Promises (Abstract)
24. Altmetric Badge
    Chapter 23 Production-Quality Proof-Carrying Code (Abstract)