تجزیه و تحلیل استاتیک برنامه های چند مرحله ای از طریق ترجمه بدون مرحله

عنوان تجزیه و تحلیل استاتیک برنامه های چند مرحله ای از طریق ترجمه بدون مرحله
نویسنده چوی، دبلیو، آکتمور، تانکوت باریش، یی، ک.، تاتسوتا، م.
تاریخ انتشار: 2011
محل انتشار - ACM
موضوع زبان های چند مرحله ای، تحلیل ایستا، حفظ معناشناسی، ترجمه بدون صحنه، تفسیر انتزاعی، فرافکنی
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه: دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-1-4503-0490-0
شماره ثبت 4eb4cf21-7f88-4559-9bb8-38cadbf35eb1
محل کتابخانه علوم کامپیوتر
تاریخ 2011
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه تجزیه و تحلیل استاتیک برنامه های چند مرحله ای چالش برانگیز است زیرا فرض اصلی تحلیل استاتیک معمولی دیگر صادق نیست: خود متن برنامه دیگر یک موجودیت ثابت ثابت نیست، بلکه یک مقدار به صورت پویا ساخته شده است. این مقاله یک ترجمه حفظ معنایی از برنامه‌های فراخوانی چند مرحله‌ای به برنامه‌های بدون مرحله و یک چارچوب تحلیل ایستا بر اساس این ترجمه ارائه می‌کند. ترجمه از این جهت حفظ معنایی است که هر کاهش گام کوچکی از یک برنامه چند مرحله‌ای با ارزیابی نسخه بدون مرحله آن شبیه‌سازی می‌شود. به لطف این ترجمه، می‌توانیم برنامه‌های چند مرحله‌ای را با تکنیک‌های تحلیل استاتیک موجود که برای برنامه‌های بدون مرحله مرسوم توسعه داده شده است، تجزیه و تحلیل کنیم: ابتدا ترجمه بدون مرحله را اعمال می‌کنیم، سپس آنالیز استاتیک معمولی را روی نسخه بدون مرحله اعمال می‌کنیم، و در نهایت نتایج تحلیل را بر اساس برنامه مرحله‌ای اصلی برمی‌گردانیم. ترجمه ما ساختارهای مرحله‌بندی را مدیریت می‌کند که در عمل مفید هستند (که در شبه نقل قول لیسپ مشخص می‌شود): کد باز به عنوان مقادیر، عملیات نامحدود در مراجع و جایگزین‌های عمدی برای گرفتن متغیر. این مقاله مراجعی را حذف می کند که خواننده را به گزارش فنی همراه خود ارجاع می دهیم.
DOI 10.1145/1926385.1926397
مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات دانشگاه اوزیغین

تجزیه و تحلیل استاتیک برنامه های چند مرحله ای از طریق ترجمه بدون مرحله

نویسنده چوی، دبلیو، آکتمور، تانکوت باریش، یی، ک.، تاتسوتا، م.
تاریخ انتشار 2011
محل انتشار - ACM
موضوع زبان های چند مرحله ای، تحلیل ایستا، حفظ معناشناسی، ترجمه بدون صحنه، تفسیر انتزاعی، فرافکنی
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-1-4503-0490-0
شماره ثبت 4eb4cf21-7f88-4559-9bb8-38cadbf35eb1
محل کتابخانه علوم کامپیوتر
تاریخ 2011
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه تجزیه و تحلیل استاتیک برنامه های چند مرحله ای چالش برانگیز است زیرا فرض اصلی تحلیل استاتیک معمولی دیگر صادق نیست: خود متن برنامه دیگر یک موجودیت ثابت ثابت نیست، بلکه یک مقدار به صورت پویا ساخته شده است. این مقاله یک ترجمه حفظ معنایی از برنامه‌های فراخوانی چند مرحله‌ای به برنامه‌های بدون مرحله و یک چارچوب تحلیل ایستا بر اساس این ترجمه ارائه می‌کند. ترجمه از این جهت حفظ معنایی است که هر کاهش گام کوچکی از یک برنامه چند مرحله‌ای با ارزیابی نسخه بدون مرحله آن شبیه‌سازی می‌شود. به لطف این ترجمه، می‌توانیم برنامه‌های چند مرحله‌ای را با تکنیک‌های تحلیل استاتیک موجود که برای برنامه‌های بدون مرحله مرسوم توسعه داده شده است، تجزیه و تحلیل کنیم: ابتدا ترجمه بدون مرحله را اعمال می‌کنیم، سپس آنالیز استاتیک معمولی را روی نسخه بدون مرحله اعمال می‌کنیم، و در نهایت نتایج تحلیل را بر اساس برنامه مرحله‌ای اصلی برمی‌گردانیم. ترجمه ما ساختارهای مرحله‌بندی را مدیریت می‌کند که در عمل مفید هستند (که در شبه نقل قول لیسپ مشخص می‌شود): کد باز به عنوان مقادیر، عملیات نامحدود در مراجع و جایگزین‌های عمدی برای گرفتن متغیر. این مقاله مراجعی را حذف می کند که خواننده را به گزارش فنی همراه خود ارجاع می دهیم.
DOI 10.1145/1926385.1926397
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین شما در حال هدایت مجدد هستید...

لطفاً صبر کنید