Practical Aspects of Declarative Languages

6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings

  • Bharat Jayaraman
Conference proceedings PADL 2004

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

Table of contents

  1. Front Matter
  2. Peter Achten, Marko van Eekelen, Rinus Plasmeijer
    Pages 39-55
  3. Matthias Neubauer, Peter Thiemann
    Pages 56-70
  4. Frank Atanassow, Dave Clarke, Johan Jeuring
    Pages 71-85
  5. J. Morales, Manuel Carro, Manuel Hermenegildo
    Pages 86-103
  6. J. Correas, J. M. Gómez, M. Carro, D. Cabeza, M. Hermenegildo
    Pages 104-119
  7. Ricardo Lopes, Vítor Santos Costa, Fernando Silva
    Pages 120-134
  8. Omar Elkhatib, Enrico Pontelli, Tran Cao Son
    Pages 148-162
  9. Hai-Feng Guo, Gopal Gupta
    Pages 163-177
  10. Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary
    Pages 178-192
  11. Bernd Braßel, Olaf Chitil, Michael Hanus, Frank Huch
    Pages 193-208
  12. Martin Elsman, Ken Friis Larsen
    Pages 224-238
  13. Back Matter

About these proceedings


The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic T- poral Media. ” The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.


C programming language Fortran Haskell ML Prolog XML constraint languages declarative languages declarative programming inheritance logic logic programming object-oriented programming programming programming languages implementation

Editors and affiliations

  • Bharat Jayaraman
    • 1
  1. 1.University at BuffaloBuffaloUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22253-8
  • Online ISBN 978-3-540-24836-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment