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

Functional Programming

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Tullsen00
- ask others
Mark Tullsen: First Class Patterns. 1-15
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/PetersonTS00
- ask others
John Peterson, Valery Trifonov, Andrei Serjantov: Parallel Functional Reactive Programming. 16-31
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/ChuangM00
- ask others
Tyng-Ruey Chuang, Shin-Cheng Mu: Out-of-Core Functional Programming with Type-Based Primitives. 32-46

Functional-Logic Programming

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Hanus00
- ask others
Michael Hanus: A Functional Logic Programming Approach to Graphical User Interfaces. 47-62
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/MarinoM00
- ask others
Julio Mariño, Juan José Moreno-Navarro: Using Static Analysis to Compile Non-sequential Functional Logic Programs. 63-80

Logic Programming

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/DiazC00
- ask others
Daniel Diaz, Philippe Codognet: GNU Prolog: Beyond Compiling Prolog to C. 81-92
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/DemoenS00
- ask others
Bart Demoen, Konstantinos F. Sagonas: Heap Garbage Collection in XSB: Practice and Experience. 93-108
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/ZhouSYY00
- ask others
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. 109-123
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Moreno-NavarroM00
- ask others
Juan José Moreno-Navarro, Susana Muñoz-Hernández: How to Incorporate Negation in a Prolog Compiler. 124-140

Innovative Applications I

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Abreu00
- ask others
Salvador Abreu: A Logic-Based Information System. 141-153
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/HindeRP00
- ask others
Chris J. Hinde, Richard J. Reader, Kath Phelps: HIPPO - A Declarative Graphical Modelling System. 154-168
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/HuCT00
- ask others
Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. 169-184

Constraint Programming and Constraint Solving

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/ChewHN00
- ask others
Tee Yong Chew, Martin Henz, Ka Boon Ng: A Toolkit for Constraint-Based Inference Engines. 185-199
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Hickey00
- ask others
Timothy J. Hickey: CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. 200-214
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Schulte00
- ask others
Christian Schulte: Programming Deep Concurrent Constraint Combinators. 215-229
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/BistarelliCGR00
- ask others
Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Labeling and Partial Local Consistency for Soft Constraint Programming. 230-248

Systems Applications

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/KrishnamurthiGG00
- ask others
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke: Transformation-by-Example for XML. 249-262
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Thiemann00
- ask others
Peter Thiemann: Modeling HTML in Haskell. 263-277
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Yeh00
- ask others
Ching-Long Yeh: A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. 278-292

Innovative Applications II

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/YunesMS00
- ask others
Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza: A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. 293-307
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/GuptaA00
- ask others
Gopal Gupta, Shameem F. Akhter: Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. 308-323

Invited Talks

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Ramakrishnan00
- ask others
I. V. Ramakrishnan: Current Trends in Logic Programming: Prospects and Promises. 324
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Lee00
- ask others
Peter Lee: Production-Quality Proof-Carrying Code. 325