2. PADL 2000: Boston, MA, USA

Enrico Pontelli, Vítor Santos Costa (Eds.): Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753 Springer 2000, ISBN 3-540-66992-2

@proceedings{DBLP:conf/padl/2000,
  editor    = {Enrico Pontelli and
               V\'{\i}tor Santos Costa},
  title     = {Practical Aspects of Declarative Languages, Second International
               Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1753},
  year      = {2000},
  isbn      = {3-540-66992-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Functional Programming

Mark Tullsen:
First Class Patterns. 1-15
John Peterson, Valery Trifonov, Andrei Serjantov:
Parallel Functional Reactive Programming. 16-31
Tyng-Ruey Chuang, Shin-Cheng Mu:
Out-of-Core Functional Programming with Type-Based Primitives. 32-46

Functional-Logic Programming

Michael Hanus:
A Functional Logic Programming Approach to Graphical User Interfaces. 47-62
Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. 63-80

Logic Programming

Daniel Diaz, Philippe Codognet:
GNU Prolog: Beyond Compiling Prolog to C. 81-92
Bart Demoen, Konstantinos F. Sagonas:
Heap Garbage Collection in XSB: Practice and Experience. 93-108
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. 109-123
Juan José Moreno-Navarro, Susana Muñoz-Hernández:
How to Incorporate Negation in a Prolog Compiler. 124-140

Innovative Applications I

Salvador Abreu:
A Logic-Based Information System. 141-153
Chris J. Hinde, Richard J. Reader, Kath Phelps:
HIPPO - A Declarative Graphical Modelling System. 154-168
Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. 169-184

Constraint Programming and Constraint Solving

Tee Yong Chew, Martin Henz, Ka Boon Ng:
A Toolkit for Constraint-Based Inference Engines. 185-199
Timothy J. Hickey:
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. 200-214
Christian Schulte:
Programming Deep Concurrent Constraint Combinators. 215-229
Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming. 230-248

Systems Applications

Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke:
Transformation-by-Example for XML. 249-262
Peter Thiemann:
Modeling HTML in Haskell. 263-277
Ching-Long Yeh:
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. 278-292

Innovative Applications II

Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza:
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. 293-307
Gopal Gupta, Shameem F. Akhter:
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. 308-323

Invited Talks

I. V. Ramakrishnan:
Current Trends in Logic Programming: Prospects and Promises. 324
Peter Lee:
Production-Quality Proof-Carrying Code. 325

Last update Wed Feb 15 04:19:47 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page