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

زبان‌های اعلامی بر پایه‌های نظری درستی ساخته شده‌اند تا چارچوب‌های جذابی را برای توسعه برنامه‌ها ارائه دهند. این زبان ها به طور موفقیت آمیزی در طیف گسترده ای از موقعیت های دنیای واقعی از جمله مدیریت پایگاه داده، شبکه های فعال، مهندسی نرم افزار و سیستم های پشتیبانی تصمیم به کار گرفته شده اند. تحولات جدید در تئوری و پیاده سازی فرصت های جدیدی را در معرض دید قرار می دهد. در عین حال، به کارگیری زبان‌های اعلانی برای مسائل جدید، مسائل تحقیقاتی جالب توجهی را ایجاد می‌کند. این سوالات شناخته شده شامل مقیاس پذیری، پسوند زبان برای استقرار برنامه و محیط های برنامه نویسی است. بنابراین، برنامه های کاربردی باعث پیشرفت در تئوری و پیاده سازی سیستم های اعلامی می شوند و به نوبه خود از این پیشرفت سود نمی برند. سمپوزیوم بین‌المللی کاربردهای عملی زبان‌های اعلانی (PADL) انجمنی را برای محققان، شاغلین و مجریان زبان‌های اعلانی فراهم می‌کند تا در مورد کاربردهای فعلی و جدید - سهولت‌ها و الزامات استفاده مؤثر از سیستم‌های اعلانی تبادل نظر کنند. چهارمین سمپوزیوم PADL در پورتلند، اورگان، در 19 و 20 ژانویه 2002 برگزار شد.

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 issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.