دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: پنجمین سمپوزیوم بین المللی ، 98 SAS پیزا ، ایتالیا ، مجموعه مقالات 14-16 سپتامبر ، 1998
مشخصات کتاب
Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings
ویرایش: [1 ed.] نویسندگان: Oliver Rüthing (auth.), Giorgio Levi (eds.) سری: Lecture Notes in Computer Science 1503 ISBN (شابک) : 3540650148, 9783540650140 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 394 [335] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: پنجمین سمپوزیوم بین المللی ، 98 SAS پیزا ، ایتالیا ، مجموعه مقالات 14-16 سپتامبر ، 1998 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: پنجمین سمپوزیوم بین المللی ، 98 SAS پیزا ، ایتالیا ، مجموعه مقالات 14-16 سپتامبر ، 1998
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین المللی آنالیز
استاتیک، SAS'98 است که در پیزا، ایتالیا، در سپتامبر 1998 برگزار
شد.
20 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از مجموع 48
مقاله ارسالی انتخاب شدند. همچنین شامل یک آموزش دعوت شده است.
مقالات در بخش های موضوعی در مورد تجزیه و تحلیل جریان داده،
برنامه ریزی منطقی، همزمانی، حوزه های انتزاعی، ارزیابی جزئی،
استنتاج نوع و بهینه سازی سازماندهی شده اند. آموزش دعوت شده توسط
دیوید اشمیت و برنهارد استفن با عنوان "تجزیه و تحلیل جریان داده
به عنوان بررسی مدل تفسیرهای انتزاعی" است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Symposium on Static Analysis, SAS'98, held in
Pisa, Italy, in September 1998.
The 20 revised full papers presented were carefully reviewed
and selected from a total of 48 submissions. Also included is
an invited tutorial. The papers are organized in topical
sections on data-flow analysis, logic programming, concurrency,
abstract domains, partial evaluation, type inference, and
optimization. The invited tutorial by David Schmidt and
Bernhard Steffen is entitled "data-flow analysis as model
checking of abstract interpretations".
