توضیحات
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis). The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات داوری شانزدهمین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک، SAS 2010، برگزار شده در پرپینیان، فرانسه در سپتامبر 2010 است. SASB 2010 (کارگاه آموزشی تجزیه و تحلیل استاتیک و زیست شناسی سیستم ها) و TAPAS 2010 (ابزارهایی برای تجزیه و تحلیل خودکار برنامه). 22 مقاله کامل اصلاح شده ارائه شده همراه با 4 سخنرانی دعوت شده به دقت بررسی و از بین 58 مورد ارسالی انتخاب شدند. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک از جمله دامنه های انتزاعی، تشخیص اشکال، تجزیه و تحلیل جریان داده، برنامه نویسی منطقی، تجزیه و تحلیل سیستم، استنتاج نوع، تجزیه و تحلیل حافظه پنهان، تجزیه و تحلیل جریان، تأیید، آزمایش انتزاعی، بهینه سازی کامپایلر و تأیید برنامه می پردازند.
tag : دانلود کتاب تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات , Download تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات , دانلود تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات , Download Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings Book , تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات دانلود , buy تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات , خرید کتاب تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات , دانلود کتاب Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings , کتاب Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings , دانلود Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings , خرید Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings , خرید کتاب Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.