التحليل الثابت للبرامج متعددة المراحل عبر الترجمة غير المرحلية
| العنوان | التحليل الثابت للبرامج متعددة المراحل عبر الترجمة غير المرحلية |
|---|---|
| المؤلف | تشوي، دبليو، أكتيمور، تانكوت باريش، يي، ك.، تاتسوتا، إم. |
| تاريخ النشر: | 2011 |
| مكان النشر | - ايه سي ام |
| الموضوع | اللغات متعددة المراحل، التحليل الإحصائي، الحفاظ على الدلالات، الترجمة غير المرحلية، التفسير المجرد، الإسقاط |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 978-1-4503-0490-0 |
| رقم السجل | 4eb4cf21-7f88-4559-9bb8-38cadbf35eb1 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2011 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | يمثل التحليل الثابت للبرامج متعددة المراحل تحديًا لأن الافتراض الأساسي للتحليل الثابت التقليدي لم يعد قائمًا: نص البرنامج نفسه لم يعد كيانًا ثابتًا ثابتًا، بل أصبح قيمة مبنية ديناميكيًا. تقدم هذه المقالة ترجمة محافظة على الدلالات لبرامج الاستدعاء حسب القيمة متعددة المراحل إلى برامج غير مرحلية وإطار تحليل ثابت يعتمد على هذه الترجمة. تتميز الترجمة بأنها تحافظ على الدلالة حيث أن كل خطوة صغيرة من التخفيض لبرنامج متعدد المراحل تتم محاكاتها من خلال تقييم نسخته غير المرحلية. بفضل هذه الترجمة، يمكننا تحليل البرامج متعددة المراحل باستخدام تقنيات التحليل الثابت الحالية التي تم تطويرها للبرامج التقليدية غير المرحلية: نطبق أولاً الترجمة غير المرحلية، ثم نطبق التحليل الثابت التقليدي على النسخة غير المرحلية، وأخيرًا نعيد نتائج التحليل مرة أخرى من حيث البرنامج المرحلي الأصلي. تتعامل ترجمتنا مع بنيات التدريج التي تم تطويرها لتكون مفيدة في الممارسة العملية (الموضحة في شبه اقتباس ليسب): الكود المفتوح كقيم، وعمليات غير مقيدة على المراجع وبدائل التقاط المتغيرات المتعمدة. تحذف هذه المقالة المراجع التي نحيل القارئ من أجلها إلى التقرير الفني المصاحب لنا. |
| DOI | 10.1145/1926385.1926397 |
