Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

زبان‌های برنامه‌نویسی اعلامی بر پایه‌های ریاضی درستی هستند که به این معنی است که مزایای زیادی برای توسعه نرم‌افزار ارائه می‌دهند. این مزایا شامل قابلیت های توصیفی قدرتمند آنها، در دسترس بودن تکنیک های تحلیل برنامه و پتانسیل اجرای موازی است. این جلد شامل مجموعه مقالات یک سمینار و کارگاه آموزشی است که توسط Esprit Basic Research Action Phoenix با همکاری Esprit Basic Research Action ادغام. هر دوی این گروه ها از نزدیک در بررسی مبانی برنامه نویسی اعلامی و ادغام پارادایم های مختلف زبان و همچنین جنبه های در حال توسعه فناوری مرتبط شرکت داشته اند. هدف اصلی این سمینار و کارگاه، فراهم کردن یک انجمن برای نتایج این کار، همراه با مشارکت سایر محققان در همان زمینه بود. این مقالات انواع حوزه های فنی مهم مانند مبانی و زبان ها، تحول و تحلیل برنامه، رویکردهای یکپارچه، تکنیک های پیاده سازی، ماشین های انتزاعی و روش برنامه نویسی را پوشش می دهند. حجم به دست آمده تصویری عمیق از تحقیقات جاری در برنامه‌نویسی اعلامی ارائه می‌کند. برای محققان زبان‌های برنامه‌نویسی و روش‌شناسی، دانشجویان هوش مصنوعی و هر کسی که در تحقیق و توسعه صنعتی فعالیت می‌کند، مورد توجه ویژه قرار خواهد گرفت.

Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development.