PADL'01

Declarative languages build on sound theoretical basis to provide attractive frameworks for application development. Indeed, these languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems.  

The major strength of declarative languages lies in the way work on efficient implementation has allowed programmers to take advantage of their strong theorical foundations. In fact, new developments in theory and implementation often open up new application areas. On the other hand, as declarative languages are applied to novel problems, a number of interesting research issues arise.  Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications are both a cause for and benefit from progress in the theory and implementation of declarative systems. 

The PADL series of workshops aims at providing a forum where researchers, practitioners, and implementors of declarative languages may exchange ideas on current and novel application areas and on the requirements for effective deployment of declarative systems. Thus, we invite papers dealing with practical applications of newly discovered results and techniques in logic, constraint, and functional programming. Papers dealing with practical applications of theoretical results, new implementation techniques, or innovative applications are particularly welcome. Position papers as well as papers that present work-in-progress are also welcome. 

• Innovative Applications 
• Practical Applications of Theoretical Results 
• Declarative Languages and the Internet 
• Declarative Languages and Software Engineering 
• Declarative Languages and Software Enabled Control 
• Deductive Database Systems
• Declarative Languages for Specification and Verification 
• Practical Experiences 
• Innovative Implementation/Compilation Techniques