Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings
Author: Enrico Pontelli, Vítor Santos Costa
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66992-0
DOI: 10.1007/3-540-46584-7

Table of Contents:

• First Class Patterns?
  
• Parallel Functional Reactive Programming
  
• Out-of-Core Functional Programming with Type-Based Primitives
  
• A Functional Logic Programming Approach to Graphical User Interfaces
  
• Using Static Analysis to Compile Non-sequential Functional Logic Programs?
  
• GNU Prolog: Beyond Compiling Prolog to C
  
• Heap Garbage Collection in XSB: Practice and Experience
  
• Implementation of a Linear Tabling Mechanism
  
• How to Incorporate Negation in a Prolog Compiler?
  
• A Logic-Based Information System
  
• HIPPO — A Declarative Graphical Modelling System
  
• Calculating a New Data Mining Algorithm for
  
• A Toolkit for Constraint-Based Inference Engines
  
• CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
  
• Programming Deep Concurrent Constraint Combinators
  
• Labeling and Partial Local Consistency for Soft Constraint Programming
  
• Transformation-by-Example for XML
  
• Modeling HTML in Haskell
  
• A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database
  
• A Hybrid Approach for Solving Large Scale Crew Scheduling Problems