المجلد 06
استعراض
مقالة وصول حر إضافة طبقة وظيفية على حاسبات الأوامر المختصرة(دار جامعة الملك سعود للنشر, 01/07/1994) محمد أحمد الأفنديتشرح هذه الورقة كيف أن ماكينة وظيفية وسيطة يمكن أن تُيسر بقدر كبير ترجمة البرامج الوظيفية وغيرها من البرامج. الماكينة المقترحة تتكون من خازنة لحفظ سلاسل الأوامر، خازنة للتحكم في الأوامر المتزامنة، ومجموعة كبيرة من الخازنات متعددة الأغراض.
تبدأ الورقة بشرح أساسيات نظام بُكس للبرمجة الوظيفية ثم تشرح كيف يمكن أن يستخدم هذا النظام في تحسين أوامر الحاسبات المختصرة وذلك بإضافة طبقة من الأوامر الوسيطة. بعد ذلك توضح الورقة أوجه التطبيقات المختلفة للماكينة المقترحة ثم تعطي مثالاً حياً على استخدامها. في الملحق تستخدم لغة أوكام في تمثيل بعض وظائف الماكينة المقترحة.