دانلود کتاب Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
49,000 تومان
تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی، SAS 2008، والنسیا، اسپانیا، 16-18 ژوئیه، 2008. مجموعه مقالات
| موضوع اصلی | تحلیل و بررسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 379 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 9783540691631 |
| نوبت چاپ | 1 |
| نویسنده | Germán Vidal (eds.), Isabella Mastroeni (auth.), María Alpuente, Roberto Giacobazzi |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی، SAS 2008، والنسیا، اسپانیا، 16-18 ژوئیه، 2008. مجموعه مقالات
این کتاب مجموعه مقالات پانزدهمین سمپوزیوم بینالمللی تحلیل استاتیک، SAS 2008 است که در والنسیا، اسپانیا در ژوئیه 2008 برگزار شد – همزمان با LOPSTR 2008، سمپوزیوم بینالمللی سنتز برنامههای مبتنی بر منطق و Transformation، PPDP 2008، سمپوزیوم بین المللی ACM SIGPLAN در مورد اصول و تمرین برنامه نویسی اعلانی، و PLID 2008، کارگاه بین المللی در مورد تداخل و وابستگی زبان برنامه نویسی.
22 مورد تجدید نظر کامل مقالات ارائه شده همراه با دو سخنرانی دعوت شده به دقت بررسی و از بین 63 مورد ارسالی انتخاب شدند. این مقالات به تمام جنبه های تحلیل استاتیک از جمله حوزه های انتزاعی، تفسیر انتزاعی، آزمایش انتزاعی، بهینه سازی کامپایلر، تجزیه و تحلیل جریان کنترل، تجزیه و تحلیل جریان داده، بررسی مدل، تخصص برنامه، تجزیه و تحلیل امنیتی، چارچوب های تحلیل نظری، تجزیه و تحلیل مبتنی بر نوع، و سیستم های تأیید می پردازند.
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 – co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.
The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.