Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe— fully applied to a wide variety of real—world situations including database m— agement, active networks, software engineering, and decision—support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research ...