أسلوب تمرير الاستمرار وتمرير الإغلاق

قمنا بتنفيذ مولد كود بأسلوب تمرير الاستمرار (CPS) للغة ML. لغتنا CPS ممثلة كنوع بيانات ML حيث يتم تسمية جميع الدوال والعديد من أنواع التعابير غير الصحيحة مستحيلة. نقوم بفصل توليد الكود إلى مراحل تعيد كتابة هذا التمثيل إلى أشكال أبسط. يتم تمثيل الإغلاقات بشكل صريح كسجلات، بحيث يمكن التواصل باستراتيجيات الإغلاق من مرحلة إلى أخرى. لا تُستخدم أي مكدس. تظهر بيانات المعايير لدينا أن الطريقة الجديدة تمثل تحسينًا عن مولد الكود السابق المعتمد على الآلة التجريدية.