Advertisement

Practical Aspects of Declarative Languages

Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings

  • Enrico Pontelli
  • Vítor Santos Costa
Conference proceedings PADL 2000

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Functional Programming

    1. Mark Tullsen
      Pages 1-15
    2. John Peterson, Valery Trifonov, Andrei Serjantov
      Pages 16-31
    3. Tyng-Ruey Chuang, Shin-Cheng Mu
      Pages 32-46
  3. Functional-Logic Programming

  4. Logic Programming

    1. Daniel Diaz, Philippe Codognet
      Pages 81-92
    2. Bart Demoen, Konstantinos Sagonas
      Pages 93-108
    3. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
      Pages 109-123
    4. Juan José Moreno-Navarro, Susana Muñoz-Hernández
      Pages 124-140
  5. Innovative Applications I

    1. Salvador Pinto Abreu
      Pages 141-153
    2. Chris J. Hinde, Richard J. Reader, Kath Phelps
      Pages 154-168
    3. Market Basket Analysis, Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
      Pages 169-184
  6. Constraint Programming and Constraint Solving

    1. Tee Yong Chew, Martin Henz, Ka Boon Ng
      Pages 185-199
    2. Christian Schulte
      Pages 215-229
    3. Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
      Pages 230-248
  7. Systems Applications

    1. Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke
      Pages 249-262
    2. Peter Thiemann
      Pages 263-277
  8. Innovative Applications II

  9. Invited Talks

  10. Back Matter
    Pages 327-327

About these proceedings

Keywords

Constraint Declarative programming declarative programming languages functional programming functional-logic logic logic programming programming prolog

Editors and affiliations

  • Enrico Pontelli
    • 1
  • Vítor Santos Costa
    • 2
  1. 1.Department of Computer Science New Science HallNew Mexico State UniversityLas CrucesUSA
  2. 2.COPPE/Sistemas e Computação Centro de TecnologiaUniversidade Federal do Rio de JaneiroRio de JaneiroBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46584-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66992-0
  • Online ISBN 978-3-540-46584-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications