Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

This volume contains the papers presented at PPDP 2008, the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, held July 15-17, 2008, in Valencia, Spain. The Symposium is a forum for researchers in the declarative programming communities, including those working in the logic, constraint, and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages, and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others This year's PPDP was co-located with the 15th International Static Analysis Symposium (SAS 2008), the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), and the 4th International Workshop on Programming Language Interference and Dependence (PLID 2008). Out of 51 initial submissions, 48 papers were reviewed by four referees and 24 were selected for presentation. The program committee used the EasyChair conference management system for handling electronic submissions, for allocating reviewing duties, and for filing reviews. In addition to regular paper sessions, the symposium hosted an invited talk by Michael Leuschel of the University of Dusseldorf, Germany.