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.

Keywords

Editors and Affiliations

University at Buffalo, Buffalo, USA

Bharat Jayaraman

Bibliographic Information

Book Title: Practical Aspects of Declarative Languages
Book Subtitle: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
Editors: Bharat Jayaraman
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b98355
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-22253-8Published: 14 June 2004
eBook ISBN: 978-3-540-24836-1Published: 19 May 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 260
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Software Engineering

Publish with us

Policies and ethics

Editors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (17 papers)

Front Matter

Back Matter

Other Volumes

Practical Aspects of Declarative Languages

About this book