البرمجة متعددة المراحل مع متغيرات الربط: توليد شفرة آمن وقابل للتنبؤ
2025-06-28
تقدم هذه الورقة تقنية جديدة تسمى البرمجة متعددة المراحل (MSP) والتي تسمح للبرامج بتوليد برامج أخرى. لضمان توليد شفرة آمن وقابل للتنبؤ، يقدم المؤلفون مفهوم "متغيرات الربط". توفر متغيرات الربط تحكمًا دقيقًا في عملية توليد الشفرة وتتوسع بسلاسة لتشمل ميزات متقدمة مثل مطابقة أنماط الشفرة وإعادة كتابتها. يتتبع نظام الأنواع تبعيات المتغيرات تلقائيًا، مما يضمن أن الشفرة الناتجة تكون دائمًا مصاغة بشكل صحيح، وذات نطاق صحيح، وقابلة للتحقق من النوع. تُظهر الورقة قوة متغيرات الربط من خلال أمثلة مثل توليد دالة القوة، وتعرض ميزات مثل مطابقة أنماط الشفرة وإعادة كتابتها.