Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings

سمپوزیوم بین‌المللی جنبه‌های عملی زبان‌های اعلانی (PADL) انجمنی برای محققان و متخصصان برای ارائه آثار اصلی با تأکید بر کاربردهای بدیع و تکنیک‌های پیاده‌سازی برای همه اشکال مفاهیم اظهاری، به‌ویژه مفاهیمی است که از عملکرد، منطق و ج- زبان های سخت زبان‌های اعلامی از زمان پیدایش علوم کامپیوتر مورد مطالعه قرار گرفته‌اند و امروزه به دلیل کاربرد آن‌ها در حوزه‌های کاربردی فعلی مانند بیوانفورماتیک، پیکربندی شبکه، وب معنایی، نرم‌افزار مخابرات و غیره، همچنان موضوع تحقیقاتی پر جنب و جوشی هستند. سمپوزیوم PADL در دالاس، تگزاس در 18 تا 19 ژوئن 2004 برگزار شد و با مدرسه تابستانی Compulog-Americas در منطق رقابتی برگزار شد. از بین مقالات ارسالی، کمیته برنامه بر اساس سه بررسی کتبی برای هر مقاله که توسط اعضای کمیته برنامه و داوران اضافی ارائه شده بود، 15 مقاله را برای ارائه در سمپوزیوم انتخاب کرد. دو گفتگوی دعوت شده در این کنفرانس ارائه شد. اولین مقاله توسط پل هوداک (دانشگاه ییل) در مورد «نظریه جبری رسانه های چند شکلی چند شکلی» ارائه شد. دومین سخنرانی دعوت شده توسط اندرو فال (دانشگاه Dowlland Technologies و Simon Fraser) درباره «تصمیمات پشتیبانی در C-plex، دامنه‌های نامشخص با زبان‌های اعلامی» ارائه شد. "به دنبال سابقه ای که در سمپوزیوم قبلی PADL ایجاد شد، کمیته برنامه امسال دوباره یک مقاله را برای دریافت جایزه "کاربردی ترین - هر" انتخاب کرد.

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic T- poral Media. ” The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.