تعدد التباين

📅 آخر تحديث: ٣٠ يوليو ٢٠٢٦
✍️ نُشر في: ٣٠ يوليو ٢٠٢٦
الموسوعة الحرة

في تحليل البرامج ، يُحلل التحليل متعدد المتغيرات أو التحليل الحساس للسياق (على عكس التحليل أحادي المتغير أو التحليل غير الحساس للسياق ) كل دالة عدة مرات - عادةً مرة واحدة عند كل موقع استدعاء - لتحسين دقة التحليل. [ 1 ] يُعد تعدد المتغيرات شائعًا في تحليلات تدفق البيانات والمؤشرات .

تشمل أشكال التباين المتعدد ما يلي:

  • حساسية موقع الاتصال [ 2 ]
  • خوارزمية الضرب الديكارتي [ 3 ]
  • حساسية الكائن [ 2 ]
  • حساسية النوع [ 2 ]

يُستخدم النوعان الأولان في أغلب الأحيان لتحليلات تدفق البيانات، بينما يُستخدم النوعان الأخيران بشكل متكرر لتحليلات المؤشرات.

مراجع

  1. ↑ بالسبيرغ، ينس ؛ بافلوبولو، كريستينا (2001). "من معلومات التدفق متعدد المتغيرات إلى أنواع التقاطع والاتحاد". وقائع الندوة الخامسة والعشرين لجمعية ACM SIGPLAN-SIGACT حول مبادئ لغات البرمجة (POPL '98) . 11 (3): 197-208 . CiteSeerX 10.1.1.36.4441 . doi : 10.1017/S095679680100394X . S2CID 16895848 .  
  2. 1 2 3 سماراغداكيس وبالاتسوراس 2015 .
  3. ↑ جيلراي، توماس؛ آدامز، مايكل د.؛ مايت، ماثيو (2016-09-04). "التخصيص يُميّز التعددية: منهجية موحدة لتحليل تدفق التحكم متعدد المتغيرات" . وقائع المؤتمر الدولي الحادي والعشرين لـ ACM SIGPLAN حول البرمجة الوظيفية . ICFP 2016. نيويورك، نيويورك، الولايات المتحدة الأمريكية: رابطة آلات الحوسبة. الصفحات 407-420 . doi : 10.1145/2951913.2951936 . ISBN  978-1-4503-4219-3. S2CID 7768606 . 

مصادر

  • سماراغداكيس، يانيس؛ بالاتسوراس، جورج (2015). "تحليل المؤشرات" (ملف PDF) . أسس واتجاهات في لغات البرمجة . 2 (1): 1-69 . doi : 10.1561/2500000014 . تاريخ الاسترجاع: 30 مايو 2019 .