Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

این جلد شامل مقالات منتخب از LOPSTR 2003، سیزدهمین سمپوزیوم بین‌المللی سنتز و تحول برنامه مبتنی بر منطق است. سری LOPSTR به تحقیق در توسعه برنامه های مبتنی بر منطق اختصاص دارد. موضوعات مورد علاقه خاص عبارتند از: مشخصات، سنتز، تایید، تبدیل، تخصص، تجزیه و تحلیل، بهینه سازی، ترکیب، استفاده مجدد، توسعه نرم افزار مبتنی بر جزء، توسعه نرم افزار مبتنی بر عامل، معماری نرم افزار، الگوهای طراحی و چارچوب ها. ، برنامه re?nement و منطق برای re?nement، اثبات به عنوان برنامه، و برنامه های کاربردی و ابزار. LOPSTR 2003 در دانشگاه اوپسالا از 25 اوت تا 27 اوت به عنوان بخشی از PLI 2003 (اصول، منطق و پیاده سازی زبان های برنامه نویسی سطح بالا) برگزار شد. PLI کنفدراسیونی از کنفرانس‌ها و کارگاه‌های آموزشی سازماندهی شده توسط ACM بود که ICFP 2003 (ACM-SIGPLAN کنفرانس بین‌المللی برنامه‌نویسی عملکردی) و PPDP 2003 (کنفرانس بین‌المللی ACM-SIGPLAN در اصول و تمرین برنامه‌نویسی اعلامی) به عنوان رویدادهای اصلی برگزار شد. جامعه LOPSTR از سخنرانی های مشترک سخنرانان دعوت شده، و بحث های علمی فعال که توسط محل مشترک فعال شده بود، حمایت می کرد. LOPSTR 2003 سیزدهمین رویداد از سری رویدادها بود. رویدادهای گذشته در منچستر، بریتانیا (1991، 1992، 1998)، لوون لا نوو، بلژیک (1993)، پیزا، ایتالیا (1994)، آرنهم، هلند (1995)، استکهلم، سوئد (1996)، L برگزار شد. - ven، بلژیک (1997)، ونیز، ایتالیا (1999)، لندن، بریتانیا (2000)، پافوس، قبرس (2001)، و مادرید، اسپانیا (2002).

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).