Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

Abstract

This volume contains the papers presented at PPDP 2010, the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, held in Hagenberg, Austria, 26--28 July 2010. The PPDP series of conferences is a major forum for researchers and practitioners in the declarative programming communities to present results on leading edge issues of logic, constraint and functional programming, as well as related paradigms. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation and security. PPDP 2010 continued this tradition, bringing together researchers from the declarative programming communities and related areas (such as specification and theorem proving, database languages, AI languages and knowledge representation) and researchers applying declarative programming techniques to a variety of domains (for example, web services, concurrency, business rules, program analysis, language implementation, etc). This year, 57 papers were submitted to PPDP, and out of 46 papers reviewed the programme committee selected 21 papers for presentation in the symposium. The program committee used the EasyChair conference management system for handling electronic submissions, allocating reviewing duties, and managing reviews. In addition to regular paper sessions, the symposium included two invited talks by Maria Paola Bonacina (Universitàdegli Studi di Verona, Italy) and Sumit Gulwani (Microsoft Research, USA). PPDP 2010 was part of the RISC Summer 2010, a series of international scientific events organised by the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. It was colocated with the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010). The symposium was organised in cooperation with ACM SIGPLAN and was sponsored by the Johannes Kepler University Linz, provincial government of Upper Austria, Austrian Federal Ministry of Science and Research, Linzer Hochschulfonds, Doctoral Program "Computational Mathematics" (W1214), and Linz AG. Lisa Tolles at Sheridan Printing managed the production of these proceedings.