ارتباط محاسبات مرحله‌ای با حساب رکورد

عنوان ارتباط محاسبات مرحله‌ای با حساب رکورد
نویسنده آکتمور، تانکوت باریش، چوی، دبلیو.
تاریخ انتشار: 2010-09-06
محل انتشار - دانشگاه اوزیغین
موضوع محاسبه رکورد، تولید برنامه
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه: دانشگاه اوزیغین
شماره ثبت d0b76a85-da73-4bc8-b86e-2a62e6a1b6fd
محل کتابخانه علوم کامپیوتر
تاریخ 2010-09-06
متن نمونه قبلا نشان داده شده بود که رابطه نزدیکی بین حساب رکورد و تولید برنامه وجود دارد (به عنوان مثال، شبه نقل قول های Lisp مانند): ترجمه ای برای تبدیل عبارات مرحله ای به عبارات حساب دیفرانسیل و انتگرال تعریف شده است، و نشان داده شده است که معنایی فراخوانی از مرحله و محاسبات رکورد معادل مدول کاهش ترجمه و admin هستند. در این کار، ما این رابطه را بیشتر بررسی می کنیم. مشارکت‌ها دو دسته هستند: (1) ما رابطه‌ای را که قبلاً نشان داده شده بود بین دو معنای عملیاتی تنظیم می‌کنیم و نتایج دقیق‌تری به‌دست می‌آوریم. به طور خاص، ما نشان می‌دهیم که تنها دو نوع کاهش مدیریت کافی است، و این کاهش‌ها می‌توانند به طور کامل اعمال شوند. (2) ما یک ترجمه معکوس را تعریف می کنیم که عبارات حساب رکورد را به حساب مرحله بندی شده تبدیل می کند و به ما امکان می دهد بین دو حساب به عقب و جلو برویم. ما معتقدیم که این نتایج گام مهمی را به سوی استفاده مجدد از تجزیه و تحلیل استاتیک حساب دیفرانسیل و انتگرال موجود برای استدلال در مورد عبارات مرحله‌ای ارائه می‌کند.
مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات دانشگاه اوزیغین

ارتباط محاسبات مرحله‌ای با حساب رکورد

نویسنده آکتمور، تانکوت باریش، چوی، دبلیو.
تاریخ انتشار 2010-09-06
محل انتشار - دانشگاه اوزیغین
موضوع محاسبه رکورد، تولید برنامه
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه دانشگاه اوزیغین
شماره ثبت d0b76a85-da73-4bc8-b86e-2a62e6a1b6fd
محل کتابخانه علوم کامپیوتر
تاریخ 2010-09-06
متن نمونه قبلا نشان داده شده بود که رابطه نزدیکی بین حساب رکورد و تولید برنامه وجود دارد (به عنوان مثال، شبه نقل قول های Lisp مانند): ترجمه ای برای تبدیل عبارات مرحله ای به عبارات حساب دیفرانسیل و انتگرال تعریف شده است، و نشان داده شده است که معنایی فراخوانی از مرحله و محاسبات رکورد معادل مدول کاهش ترجمه و admin هستند. در این کار، ما این رابطه را بیشتر بررسی می کنیم. مشارکت‌ها دو دسته هستند: (1) ما رابطه‌ای را که قبلاً نشان داده شده بود بین دو معنای عملیاتی تنظیم می‌کنیم و نتایج دقیق‌تری به‌دست می‌آوریم. به طور خاص، ما نشان می‌دهیم که تنها دو نوع کاهش مدیریت کافی است، و این کاهش‌ها می‌توانند به طور کامل اعمال شوند. (2) ما یک ترجمه معکوس را تعریف می کنیم که عبارات حساب رکورد را به حساب مرحله بندی شده تبدیل می کند و به ما امکان می دهد بین دو حساب به عقب و جلو برویم. ما معتقدیم که این نتایج گام مهمی را به سوی استفاده مجدد از تجزیه و تحلیل استاتیک حساب دیفرانسیل و انتگرال موجود برای استدلال در مورد عبارات مرحله‌ای ارائه می‌کند.
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین شما در حال هدایت مجدد هستید...

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