منو
 صفحه های تصادفی
سیستم اطلاعات مدیریت
با کودک بدرفتار چه کنیم؟
نیم رسانای ذاتی
عوامل موثر در بازی بازیگر
اقدامات اولیه در سوختگی
گل سنگ
زرتشت و علم نجوم
وحی
امپراتوری اسپانیا
تاریخچه بانکداری در ایران
 کاربر Online
305 کاربر online

تفسیر انتزاعی

تازه کردن چاپ
علوم ریاضی > علو م رایانه > برنامه های کامپیوتری
(cached)




تفسیر انتزاعی

تفسیر انتزاعی، اجرای نسبی یک برنامه کامپیوتری و دستیابی به اطلاعات در مورد sematics ( بعنوان مثال ساختار کنترلی ، جریان اطلاعات ( بدون انجام محاسبات می باشد. تفسیر انتزاعی اغلب توسط کامپایلرها برای تجزیه و تحلیل برنامه ها و تصمیم گیری در مورد اینکه آیا یک بهینه سازی یا یک تبدیل به خصوص ، قابل استفاده هست یا خیر بکار می رود.
تفسیر انتزاعی توسط شخصی به نام پاتریک کوسوت رسمی شد.
آنچه که توسط برنامه مورد استفاده قرار می گیرد ( اغلب مقادیر داده ای و توابع ( در حوزه تفسیر انتزاعی توسط علائم نشان داده می شود و هر علامت این حوزه نشانگر مجموعه ای از مقادیر حقیقی ( واقعی) است.
بعنوان مثال، ما ممکن است علائم انتزاعی « +»، «.» و «-» را برای نشان دادن اعداد مثبت ، صفر و منفی بکار گیریم و سپس نسخه ای انتزاعی از عملگر ضرب به شکل *# تعریف کنیم که روی مقادیر انتزاعی عمل می کند:

*# + 0 -
+ + 0 -
0 0 0 0
- - 0 +

تفسیر هنگامی صحت دارد که نتایج علمیات انتزاعی ، تقریب صحیحی از نتایج واقعی باشند.
معنی «یک تقریب صحیح» بستگی به چگونگی استفاده ما از نتایج این تجزیه و تحلیل دارد. اگر در این مثال ، فرض کنیم که مقادیر کوچکتر، از صحت بیشتری برخوردار هستند، آنگاه نتایج صحیح تفسیر عبارتند از: a*b =a#* b#< که در اینجا a# ، نسخه انتزاعی a می باشد و غیره.
اغلب یک تفسیر ، توسط حوزه های بکار رفته برای نمایش تایپهای اصلی و مقادیر انتزاعی که به ثابت ها نسبت میدهد ، مشخص می شود. ( که در اینجا منظور از ثابت ها توابعی اولیه همانند * است). تفسیر انواع ساختارها ( مثل توابع تعریف شده توسط کاربر و انواع جمع و ضرب) و عبارات موجود در برنامه را می توان بطور سیستماتیک توسط تعاریف و مقادیر اولیه از قبل تعریف شده در مفسر نتیجه گرفت.
یکی از موارد استفاده متداول تفسیر انتزاعی تجزیه و تحلیل استاتیک یا بدون تغییر است.

ابزارها


همچنین ببینید


پیوندهای خارجی



تعداد بازدید ها: 7899


ارسال توضیح جدید
الزامی
big grin confused جالب cry eek evil فریاد اخم خبر lol عصبانی mr green خنثی سوال razz redface rolleyes غمگین smile surprised twisted چشمک arrow



از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..