کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874856 1441444 2018 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Field-sensitive sharing
ترجمه فارسی عنوان
به اشتراک گذاری حساس به فیلد
ترجمه چکیده
علاوه بر ارتقاء تکنیک های تجزیه و تحلیل موجود، تجزیه و تحلیل به اشتراک گذاری حساس به زمینه به خودی خود جالب است، و می تواند در چارچوب تفسیر انتزاعی به عنوان یک پالایش از به اشتراک گذاری سنتی رسمی شود.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
به اشتراک گذاری حساس به فیلد
چکیده انگلیسی
Besides improving existing static analysis techniques, the field-sensitive sharing analysis is interesting in itself, and can be formalized in the framework of abstract interpretation as a refinement of traditional sharing.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 95, February 2018, Pages 103-127
نویسندگان
,