Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

این جلد شامل مقالاتی است که برای ارائه در کنفرانس بین‌المللی روش‌های رسمی در برنامه‌نویسی و کاربردهای آنها، که در آکادمگورودوک، نووسیبیرسک، روسیه، ژوئن تا ژوئیه 1993 برگزار شد، انتخاب شده‌اند. این کنفرانس توسط موسسه سیستم‌های انفورماتیک سیبری سازمان‌دهی شد. بخش آکادمی علوم روسیه و اولین انجمنی بود که توسط مؤسسه سازماندهی شد که کاملاً به روش های رسمی اختصاص داشت. محورهای اصلی علمی کنفرانس حول روش های رسمی توسعه برنامه و ساخت برنامه متمرکز بود. مقالات این کتاب در بخش‌های زیر دسته‌بندی شده‌اند: - روش‌های معناشناسی رسمی - روش‌های مشخص‌سازی جبری - تحلیل برنامه معنایی و تفسیر انتزاعی - معنایی توازی - منطق برنامه‌ها - مشخصات نرم‌افزار و تایید - توسعه تحول و ترکیب برنامه.

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.