Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings

محققانی که روی معناشناسی زبان‌های برنامه‌نویسی کار می‌کنند در ژوئن 1992 در هلند گرد هم آمدند تا کارگاهی درباره معناشناسی - مبانی و کاربردها برگزار کنند. این جلد بر اساس جلسه است و حاوی مطالبی است که پس از تشکیل جلسه توسط اساتید تهیه شده است. این جلد شامل مقالاتی در زمینه طیف گسترده ای از موضوعات در هر دو مبانی و کاربرد است، از جمله: - تئوری دامنه مقایسه ای، نظریه دسته بندی، سیستم های اطلاعاتی، - همزمانی: جبرهای فرآیند، ارتباطات ناهمزمان، معناشناسی کنش، شبکه های ردیابی، پالایش فرآیند، برنامه نویسی محدودیت همزمان، - ترانسفورماتورهای محمول، پالایش، ضعیف ترین پیش شرط ها، - معناشناسی مقایسه ای مفاهیم برنامه نویسی، انتزاع کامل، - استدلال در مورد برنامه ها: صحت کلی، منطق معرفتی، - برنامه ریزی منطقی، - برنامه ریزی عملکردی: ترتیب، ادغام با همزمانی، معناشناسی عملیاتی ساخت یافته کاربردی. این کارگاه فعالیتی از پروژه REX (تحقیق و آموزش در سیستم های همزمان) با حمایت برنامه NFI هلند (NationaleFaciliteit Informatica) بود.

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.