Static Analysis: 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

تحلیل استاتیک به طور فزاینده ای به عنوان یک حوزه تحقیقاتی اساسی با هدف مطالعه و توسعه ابزارهایی برای پیاده سازی با کارایی بالا و سیستم های v-cation برای همه پارادایم های زبان برنامه نویسی شناخته می شود. دو دهه اخیر شاهد پیشرفت‌های اساسی در این زمینه بوده‌ایم، از چارچوب‌های نظری گرفته تا طراحی، پیاده‌سازی و کاربرد تحلیل‌گرها در بهینه‌سازی کامپایلرها. از سال 1994، SAS کنفرانس سالانه و انجمن برای محققان در تمام جنبه های تجزیه و تحلیل استاتیک بوده است. این جلد شامل مجموعه مقالات ششمین سمپوزیوم بین‌المللی تحلیل استاتیک (SAS'99) است که در ونیز، ایتالیا، در 22 سپتامبر 1999 برگزار شد. کنفرانس‌های قبلی SAS در نامور (بلژیک)، گلاسکو (بریتانیا)، برگزار شد. آخن (آلمان)، پاریس (فرانسه) و پیزا (ایتالیا). کمیته برنامه 18 مقاله از 42 ارسالی را بر اساس حداقل سه بررسی انتخاب کرد. حجم حاصل چشم انداز کاملی از تحقیق در این زمینه را در اختیار خواننده قرار می دهد. این مقالات به موضوعات زیر کمک می کنند: مبانی تجزیه و تحلیل استاتیک، طراحی دامنه انتزاعی، و کاربردهای تحلیل استاتیک در پارادایم های برنامه نویسی مختلف (همزمان، همزمان، امری، شی گرا، منطقی و عملکردی). به طور خاص، چندین مقاله از تحلیل استاتیکی برای به دست آوردن کاهش فضای حالت در سیستم‌های همزمان استفاده می‌کنند. به بخش‌های جدید برنامه نیز پرداخته می‌شود، مانند مشکلات امنیتی و محرمانه.

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.