إضافة طبقة وظيفية على حاسبات الأوامر المختصرة

Abstract

تشرح هذه الورقة كيف أن ماكينة وظيفية وسيطة يمكن أن تُيسر بقدر كبير ترجمة البرامج الوظيفية وغيرها من البرامج. الماكينة المقترحة تتكون من خازنة لحفظ سلاسل الأوامر، خازنة للتحكم في الأوامر المتزامنة، ومجموعة كبيرة من الخازنات متعددة الأغراض. <br>تبدأ الورقة بشرح أساسيات نظام بُكس للبرمجة الوظيفية ثم تشرح كيف يمكن أن يستخدم هذا النظام في تحسين أوامر الحاسبات المختصرة وذلك بإضافة طبقة من الأوامر الوسيطة. بعد ذلك توضح الورقة أوجه التطبيقات المختلفة للماكينة المقترحة ثم تعطي مثالاً حياً على استخدامها. في الملحق تستخدم لغة أوكام في تمثيل بعض وظائف الماكينة المقترحة. <br>