by PADL 2002 (2002 Portland, Or.)
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 s…