چالش شونان برای برنامه نویسی مولد: مقاله موقعیت کوتاه

عنوان چالش شونان برای برنامه نویسی مولد: مقاله موقعیت کوتاه
نویسنده آکتمور، تانکوت باریش، کامیاما، ی.، کیسلیوف، او.، شان، سی.-سی.
تاریخ انتشار: 2013
محل انتشار - ACM
موضوع محاسبات با کارایی بالا، برنامه نویسی مولد، مرحله بندی، تولید کد، زبان های خاص دامنه
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه: دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-1-4503-1842-6
شماره ثبت 1ec2b565-804b-4d14-b3c0-45a931c99969
محل کتابخانه علوم کامپیوتر
تاریخ 2013
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه جذابیت برنامه نویسی مولد "انتزاع بدون گناه" است: حذف مبادله آزاردهنده بین نوشتن کدهای سطح بالا و کدهای با عملکرد بالا. برنامه نویسی مولد همچنین وعده می دهد که به طور رسمی دانش و اکتشافات خاص دامنه را که توسط متخصصان محاسبات با کارایی بالا (HPC) استفاده می شود، جذب کند. چقدر در تحقق این وعده ها فاصله داریم؟ برای سنجش پیشرفت ما، یک جلسه اخیر شونان در مورد "پل زدن بر نظریه زبان های برنامه نویسی مرحله ای و تمرین محاسبات با عملکرد بالا" پیشنهاد استفاده از مجموعه ای از معیارها را به نام "چالش شونان" ارائه کرد. چالش Shonan مجموعه ای از مشکلات واضح است که توسط متخصصان HPC و دامنه مطرح شده است، که پیاده سازی های کارآمد برای آنها شناخته شده است، اما نوشتن و اصلاح آنها خسته کننده بود. چالش ایجاد یک پیاده‌سازی کارآمد مشابه از مشخصات سطح بالای یک مسئله است که همان بهینه‌سازی‌ها را انجام می‌دهد، اما به صورت خودکار. تنظیم بهینه سازی ها و مشخصات باید آسان باشد و اعتماد به کد تولید شده حفظ شود. ما مجموعه اولیه معیارهای خود را توصیف می کنیم و سه راه حل برای دو مشکل ارائه می دهیم. ما امیدواریم که چالش شونان وضعیت هنر را روشن کند و نظریه و فناوری صحنه‌پردازی را تحریک کند، درست همانطور که چالش POPLmark برای مکانیزاسیون فرا تئوری انجام داد. از آنجایی که هر مشکل Shonan Challenge هسته یک برنامه مهم HPC است، هر راه حل یک کاربرد عملی فوری دارد.
DOI 10.1145/2426890.2426917
مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات دانشگاه اوزیغین

چالش شونان برای برنامه نویسی مولد: مقاله موقعیت کوتاه

نویسنده آکتمور، تانکوت باریش، کامیاما، ی.، کیسلیوف، او.، شان، سی.-سی.
تاریخ انتشار 2013
محل انتشار - ACM
موضوع محاسبات با کارایی بالا، برنامه نویسی مولد، مرحله بندی، تولید کد، زبان های خاص دامنه
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-1-4503-1842-6
شماره ثبت 1ec2b565-804b-4d14-b3c0-45a931c99969
محل کتابخانه علوم کامپیوتر
تاریخ 2013
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه جذابیت برنامه نویسی مولد "انتزاع بدون گناه" است: حذف مبادله آزاردهنده بین نوشتن کدهای سطح بالا و کدهای با عملکرد بالا. برنامه نویسی مولد همچنین وعده می دهد که به طور رسمی دانش و اکتشافات خاص دامنه را که توسط متخصصان محاسبات با کارایی بالا (HPC) استفاده می شود، جذب کند. چقدر در تحقق این وعده ها فاصله داریم؟ برای سنجش پیشرفت ما، یک جلسه اخیر شونان در مورد "پل زدن بر نظریه زبان های برنامه نویسی مرحله ای و تمرین محاسبات با عملکرد بالا" پیشنهاد استفاده از مجموعه ای از معیارها را به نام "چالش شونان" ارائه کرد. چالش Shonan مجموعه ای از مشکلات واضح است که توسط متخصصان HPC و دامنه مطرح شده است، که پیاده سازی های کارآمد برای آنها شناخته شده است، اما نوشتن و اصلاح آنها خسته کننده بود. چالش ایجاد یک پیاده‌سازی کارآمد مشابه از مشخصات سطح بالای یک مسئله است که همان بهینه‌سازی‌ها را انجام می‌دهد، اما به صورت خودکار. تنظیم بهینه سازی ها و مشخصات باید آسان باشد و اعتماد به کد تولید شده حفظ شود. ما مجموعه اولیه معیارهای خود را توصیف می کنیم و سه راه حل برای دو مشکل ارائه می دهیم. ما امیدواریم که چالش شونان وضعیت هنر را روشن کند و نظریه و فناوری صحنه‌پردازی را تحریک کند، درست همانطور که چالش POPLmark برای مکانیزاسیون فرا تئوری انجام داد. از آنجایی که هر مشکل Shonan Challenge هسته یک برنامه مهم HPC است، هر راه حل یک کاربرد عملی فوری دارد.
DOI 10.1145/2426890.2426917
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین شما در حال هدایت مجدد هستید...

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