ربط الحساب المرحلي بحساب التفاضل والتكامل القياسي
| العنوان | ربط الحساب المرحلي بحساب التفاضل والتكامل القياسي |
|---|---|
| المؤلف | أكتيمور، تانكوت باريش، تشوي، دبليو. |
| تاريخ النشر: | 2010-09-06 |
| مكان النشر | - جامعة اوزيجين |
| الموضوع | سجل حساب التفاضل والتكامل، وتوليد البرنامج |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| رقم السجل | d0b76a85-da73-4bc8-b86e-2a62e6a1b6fd |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2010-09-06 |
| نص عينة | لقد سبق أن تبين أن هناك علاقة وثيقة بين حساب التفاضل والتكامل السجل وتوليد البرنامج (على سبيل المثال، شبه الاقتباسات الشبيهة بـ Lisp): تم تعريف الترجمة لتحويل التعبيرات المرحلية إلى تعبيرات حساب التفاضل والتكامل المسجلة، وقد تبين أن دلالات الاستدعاء حسب القيمة للحسابات المرحلية والسجلية تعادل معامل الترجمة وتخفيضات الإدارة. في هذا العمل، نحن ندرس العلاقة بشكل أكبر. المساهمات ذات شقين: (1) قمنا بضبط العلاقة الموضحة مسبقًا بين الدلالات التشغيلية، وحصلنا على نتائج أكثر دقة. على وجه الخصوص، نوضح أن نوعين فقط من التخفيضات الإدارية يكفيان، ويمكن تطبيق هذه التخفيضات بشكل شامل. (2) نحدد ترجمة عكسية تحول تعبيرات حساب التفاضل والتكامل المسجلة مرة أخرى إلى حساب التفاضل والتكامل المرحلي، مما يسمح لنا بالتنقل ذهابًا وإيابًا بين حسابي التفاضل والتكامل. نحن نعتقد أن هذه النتائج توفر خطوة مهمة نحو إعادة استخدام التحليلات الثابتة لحساب التفاضل والتكامل الموجودة بالفعل للتفكير في التعبيرات المرحلية. |
