 |
Principles and Practice of Declarative Programming 12th International ACM SIGPLAN Symposium |
Topics
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.