إنشاء قاعدة بيانات لقواعد إعادة الكتابة: مشروع طموح
2025-02-22
تقترح هذه المشاركة إنشاء قاعدة بيانات لقواعد إعادة الكتابة تشمل مجالات متنوعة، بما في ذلك خصائص الأعداد الصحيحة، والتفاضل، ونظرية المجموعات، والمتجهات الثنائية، والبرامج الوظيفية، وأكثر من ذلك. يسرد الكاتب العديد من المشاريع والكتب الموجودة التي تحتوي على قواعد إعادة الكتابة، ويناقش جدوى وتحديات توحيد هذه القواعد في صيغة مشتركة. في حين أنه يمكن إثبات بعض القواعد مباشرةً باستخدام حلالات SMT الموجودة، يجادل الكاتب بأن قاعدة بيانات محددة جيدًا لقواعد إعادة الكتابة أمر بالغ الأهمية لإعادة الكتابة والعمليات الدقيقة في سياقات التطبيق المحددة، وستكون موردًا قيمًا للبحوث المستقبلية.