Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Enrico Pontelli

    1. Department of Computer Science New Science Hall, New Mexico State University, Las Cruces, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vítor Santos Costa

    1. COPPE/Sistemas e Computação Centro de Tecnologia, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1753)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Functional Programming

    1. First Class Patterns?

      • Mark Tullsen
      Pages 1-15

    2. Parallel Functional Reactive Programming

      • John Peterson, Valery Trifonov, Andrei Serjantov
      Pages 16-31

    3. Out-of-Core Functional Programming with Type-Based Primitives

      • Tyng-Ruey Chuang, Shin-Cheng Mu
      Pages 32-46

  3. Functional-Logic Programming

    1. A Functional Logic Programming Approach to Graphical User Interfaces

      • Michael Hanus
      Pages 47-62

    2. Using Static Analysis to Compile Non-sequential Functional Logic Programs?

      • Julio Mariño, Juan José Moreno-Navarro
      Pages 63-80

  4. Logic Programming

    1. GNU Prolog: Beyond Compiling Prolog to C

      • Daniel Diaz, Philippe Codognet
      Pages 81-92

    2. Heap Garbage Collection in XSB: Practice and Experience

      • Bart Demoen, Konstantinos Sagonas
      Pages 93-108

    3. Implementation of a Linear Tabling Mechanism

      • Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
      Pages 109-123

    4. How to Incorporate Negation in a Prolog Compiler?

      • Juan José Moreno-Navarro, Susana Muñoz-Hernández
      Pages 124-140

  5. Innovative Applications I

    1. A Logic-Based Information System

      • Salvador Pinto Abreu
      Pages 141-153

    2. HIPPO — A Declarative Graphical Modelling System

      • Chris J. Hinde, Richard J. Reader, Kath Phelps
      Pages 154-168

    3. Calculating a New Data Mining Algorithm for

      • Market Basket Analysis, Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
      Pages 169-184

  6. Constraint Programming and Constraint Solving

    1. A Toolkit for Constraint-Based Inference Engines

      • Tee Yong Chew, Martin Henz, Ka Boon Ng
      Pages 185-199

    2. CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving

      • Timothy J. Hickey
      Pages 200-214

    3. Programming Deep Concurrent Constraint Combinators

      • Christian Schulte
      Pages 215-229

    4. Labeling and Partial Local Consistency for Soft Constraint Programming

      • Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
      Pages 230-248

  7. Systems Applications

    1. Transformation-by-Example for XML

      • Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke
      Pages 249-262

    2. Modeling HTML in Haskell

      • Peter Thiemann
      Pages 263-277

    3. A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database

      • Ching-Long Yeh
      Pages 278-292
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science New Science Hall, New Mexico State University, Las Cruces, USA

    Enrico Pontelli

  • COPPE/Sistemas e Computação Centro de Tecnologia, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Brazil

    Vítor Santos Costa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation