دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: John Hatcliff, James Corbett, Matthew Dwyer, Stefan Sokolowski, Hongjun Zheng (auth.), Agostino Cortesi, Gilberto Filé (eds.) سری: Lecture Notes in Computer Science 1694 ISBN (شابک) : 3540664599, 9783540664598 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 360 [365] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
در صورت تبدیل فایل کتاب Static Analysis: 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: ششمین سمپوزیوم بین المللی، SAS'99 ونیز، ایتالیا، 22 تا 24 سپتامبر 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
تحلیل استاتیک به طور فزاینده ای به عنوان یک حوزه تحقیقاتی اساسی با هدف مطالعه و توسعه ابزارهایی برای پیاده سازی با کارایی بالا و سیستم های 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.