Practical Aspects of Declarative Languages : Second International Workshop, PADL 2000, Boston, MA, U. S. A., January 17-18, 2000 Proceedings

by Padl 200 (2000 Boston, Mass.); Pontelli, Enrico; Santos Costa, Vitor; Pontelli, Enrico

• ISBN13: 9783540669920
• ISBN10: 3540669922
• Format: Paperback
• Copyright: 2000-01-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Functional Programming
First Class Patterns	1	(15)
M. Tullsen
Parallel Functional Reactive Programming	16	(16)
J. Peterson
V. Trifonov
A. Serjantov
Out-of-Core Functional Programming with Type-Based Primitives	32	(15)
T.-R. Chuang
S.-C. Mu
Functional-Logic Programming
A Functional Logic Programming Approach to Graphical User Interfaces	47	(16)
M. Hanus
Using Static Analysis to Compile Non-sequential Functional Logic Programs	63	(18)
J. Marino
J.J. Moreno-Navarro
Logic Programming
GNU Prolog: Beyond Compiling Prolog to C	81	(12)
D. Diaz
P. Codognet
Heap Garbage Collection in XSB: Practice and Experience	93	(16)
B. Demoen
K. Sagonas
Implementation of a Linear Tabling Mechanism	109	(15)
N.-F. Zhou
Y.-D. Shen
L.-Y. Yuan
J.-H. You
How to Incorporate Negation in a Prolog Compiler	124	(17)
J.J. Moreno-Navarro
S. Munoz-Hernandez
Innovative Applications I
A Logic-Based Information System	141	(13)
S.P. Abreu
HIPPO: A Declarative Graphical Modeling System	154	(15)
C.J. Hinde
R.J. Reader
K. Phelps
Calculating a New Data Mining Algorithm for Market Basket Analysis	169	(16)
Z. Hu
W.-N. Chin
M. Takeichi
Constraint Programming and Constraint Solving
A Toolkit for Constraint-Based Inference Engines	185	(15)
T.Y. Chew
M. Henz
K.B. Ng
CLIP: A CLP (Intervals) Dialect for Metalevel Constraint Solving	200	(15)
T.J. Hickey
Programming Deep Concurrent Constraint Combinators	215	(15)
C. Schulte
Labeling and Partial Local Consistency for Soft Constraint Programming	230	(19)
S. Bistarelli
P. Codognet
Y. Georget
F. Rossi
Systems Applications
Transformation-by-Example for XML	249	(14)
S. Krishnamurthi
K.E. Gray
P.T. Graunke
Modeling HTML in Haskell	263	(15)
P. Thiemann
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database	278	(15)
C.-L. Yeh
Innovative Applications II
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems	293	(15)
T.H. Yunes
A.V. Moura
C.C. de Souza
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs	308	(16)
G. Gupta
S.F. Akhter
Invited Talks
Current Trends in Logic Programming: Prospects and Promises	324	(1)
I.V. Ramakrishnan
Production-Quality Proof-Carrying Code	325	(2)
P. Lee
Author Index	327