Ebook: Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings

This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000.
The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications.

---

This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000.
The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications.
Content:
Front Matter....Pages I-X
First Class Patterns?....Pages 1-15
Parallel Functional Reactive Programming....Pages 16-31
Out-of-Core Functional Programming with Type-Based Primitives....Pages 32-46
A Functional Logic Programming Approach to Graphical User Interfaces....Pages 47-62
Using Static Analysis to Compile Non-sequential Functional Logic Programs?....Pages 63-80
GNU Prolog: Beyond Compiling Prolog to C....Pages 81-92
Heap Garbage Collection in XSB: Practice and Experience....Pages 93-108
Implementation of a Linear Tabling Mechanism....Pages 109-123
How to Incorporate Negation in a Prolog Compiler?....Pages 124-140
A Logic-Based Information System....Pages 141-153
HIPPO — A Declarative Graphical Modelling System....Pages 154-168
Calculating a New Data Mining Algorithm for....Pages 169-184
A Toolkit for Constraint-Based Inference Engines....Pages 185-199
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving....Pages 200-214
Programming Deep Concurrent Constraint Combinators....Pages 215-229
Labeling and Partial Local Consistency for Soft Constraint Programming....Pages 230-248
Transformation-by-Example for XML....Pages 249-262
Modeling HTML in Haskell....Pages 263-277
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database....Pages 278-292
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems....Pages 293-307
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs....Pages 308-323
Current Trends in Logic Programming: Prospects and Promises (Abstract)....Pages 324-324
Production-Quality Proof-Carrying Code (Abstract)....Pages 325-325
Back Matter....Pages 327-327

---

This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000.
The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications.
Content:
Front Matter....Pages I-X
First Class Patterns?....Pages 1-15
Parallel Functional Reactive Programming....Pages 16-31
Out-of-Core Functional Programming with Type-Based Primitives....Pages 32-46
A Functional Logic Programming Approach to Graphical User Interfaces....Pages 47-62
Using Static Analysis to Compile Non-sequential Functional Logic Programs?....Pages 63-80
GNU Prolog: Beyond Compiling Prolog to C....Pages 81-92
Heap Garbage Collection in XSB: Practice and Experience....Pages 93-108
Implementation of a Linear Tabling Mechanism....Pages 109-123
How to Incorporate Negation in a Prolog Compiler?....Pages 124-140
A Logic-Based Information System....Pages 141-153
HIPPO — A Declarative Graphical Modelling System....Pages 154-168
Calculating a New Data Mining Algorithm for....Pages 169-184
A Toolkit for Constraint-Based Inference Engines....Pages 185-199
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving....Pages 200-214
Programming Deep Concurrent Constraint Combinators....Pages 215-229
Labeling and Partial Local Consistency for Soft Constraint Programming....Pages 230-248
Transformation-by-Example for XML....Pages 249-262
Modeling HTML in Haskell....Pages 263-277
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database....Pages 278-292
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems....Pages 293-307
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs....Pages 308-323
Current Trends in Logic Programming: Prospects and Promises (Abstract)....Pages 324-324
Production-Quality Proof-Carrying Code (Abstract)....Pages 325-325
Back Matter....Pages 327-327
....