کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951897 1441617 2016 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Multiple intermediate structure deforestation by shortcut fusion
ترجمه فارسی عنوان
جنگل زدایی ساختار چندگانه با همکاری میانبر
کلمات کلیدی
فیوژن میانبر، برنامه ریزی دایره ای جنگل زدایی، برنامه نویسی کاربردی
ترجمه چکیده
فیوژن میانبر یک روش بهینه سازی شناخته شده برای برنامه های کاربردی است. هدف این است که الگوریتم های چند گذری را به یک تک تک پاس های تبدیل کنیم، به دست آوردن جنگل زایی از سازه های متوسط ​​که الگوریتم های چند گذر نیاز به ساخت دارند. همجوشی میانبر در حال حاضر به چندین روش گسترش یافته است. این را می توان به برنامه های مونادی، حفظ اثرات جهانی، و همچنین برای به دست آوردن برنامه های مدور و بالاتر مرتب استفاده می شود. با این حال تکنیک هایی که تا کنون پیشنهاد شده اند فقط برنامه هایی را که به عنوان ترکیب یک تولید کننده تنها با یک مصرف کننده تعریف شده اند، در نظر می گیرند. در این مقاله، ما قوانین همجوشی میانبر برای مقابله با برنامه هایی که شامل تعداد دلخواه ترکیبات تابع هستند، مورد تجزیه و تحلیل قرار می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Shortcut fusion is a well-known optimization technique for functional programs. Its aim is to transform multi-pass algorithms into single pass ones, achieving deforestation of the intermediate structures that multi-pass algorithms need to construct. Shortcut fusion has already been extended in several ways. It can be applied to monadic programs, maintaining the global effects, and also to obtain circular and higher-order programs. The techniques proposed so far, however, only consider programs defined as the composition of a single producer with a single consumer. In this paper, we analyse shortcut fusion laws to deal with programs consisting of an arbitrary number of function compositions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 132, Part 1, 15 December 2016, Pages 77-95
نویسندگان
, , ,