مشخصات کتاب

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

ویرایش:  
نویسندگان: Monat. Raphael,  Rubio-González. Cindy (Editors)  
سری:  
ISBN (شابک) : 9798400706219 
ناشر: Association for Computing Machinery 
سال نشر: 2024 
تعداد صفحات: v+67
[72] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مجموعه مقالات سیزدهمین کارگاه بین المللی ACM SIGPLAN در مورد وضعیت هنر در تجزیه و تحلیل برنامه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

0: Title Page
0: Welcome from the Chairs
0: SOAP 2024 Organization
1: Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information
2: Interleaving Static Analysis and LLM Prompting
3: A Better Approximation for Interleaved Dyck Reachability
4: Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
5: When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
6: ValBench: Benchmarking Exact Value Analysis
7: Static Analysis for Transitioning to CHERI C/C++
8: Misconceptions about Loops in C

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Single-Neuron Theory: Closing in on the Neural Correlate of Consciousness

دانلود کتاب Queering Knowledge: Analytics, Devices and Investments after Marilyn Strathern

دانلود کتاب Classroom lessons: integrating cognitive theory and classroom practice

دانلود کتاب A Modified harmony search algorithm for 0-1 knapsack problems