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 constraint
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 configuration, 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 Computational
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.