Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
تقدم هذه الورقة اشتقاقاً آلياً بالكامل لخوارزمية توحيد ثلاثية الوسائط باستخدام التركيب الاستنتاجي للبرامج، مما يعمم ويؤتمت برهاناً يدوياً لـ "مانا ووالدنجر" لتوليد برنامج صحيح يحسب الموحدات الأكثر عمومية وتكراراً (idempotent) بالنسبة لتعويض بيئة تراكمية.