ACM logo Principles and Practice of Declarative Programming
12th International ACM SIGPLAN Symposium


PPDP 2010 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the semantic web.

  • Logic, Constraint, and Functional Programming
  • Database, AI and Knowledge Representation Languages
  • Visual Programming
  • Executable Specification Languages
  • Applications of Declarative Programming
  • Methodologies: Program Design and Development
  • Declarative Aspects of Object-Oriented Programming
  • Concurrent Extensions to Declarative Languages
  • Declarative Mobile Computing
  • Integration of Paradigms
  • Proof Theoretic and Semantic Foundations
  • Type and Module Systems
  • Program Analysis and Verification
  • Program Transformation
  • Abstract Machines and Compilation
  • Programming Environments

The list above is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged.