Practical Aspects of Declarative Languages

5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings

  • Veronica Dahl
  • Philip Wadler
Conference proceedings PADL 2003

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

  3. Papers

    1. Amanda Clare, Ross D. King
      Pages 19-36
    2. E. Pontelli, M. Balduccini, F. Bermudez
      Pages 37-57
    3. Martin Elsman, Niels Hallenberg
      Pages 74-91
    4. Jed Liu, Andrew C. Myers
      Pages 110-127
    5. Peter Schachte
      Pages 128-144
    6. Torben Mogensen
      Pages 145-159
    7. Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe
      Pages 160-176
    8. Prahladavaradan Sampath
      Pages 177-193
    9. Jacinto A. Dávila
      Pages 194-207
    10. Pablo Barceló, Leopoldo Bertossi
      Pages 208-222
    11. Pierangelo Dell’Acqua, Luís Moniz Pereira
      Pages 241-255
    12. Oleg Kiselyov, Shriram Krishnamurthi
      Pages 256-272
    13. Jorge Coelho, Mário Florido
      Pages 273-285

About these proceedings

Keywords

Constraint Constraint Programming Declarative Languages Declarative Programming Java Java-Based Prolog Engines Program Analysis Prolog Prolog Programming Reactive Systems XML algorithm algorithms object oriented design programming

Editors and affiliations

  • Veronica Dahl
    • 1
  • Philip Wadler
    • 2
  1. 1.Computer Science Department Logic and Functional Programming GroupSimon Fraser UniversityBurnaby B.C.Canada
  2. 2.Avaya LabsUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36388-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00389-2
  • Online ISBN 978-3-540-36388-0
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace