الأبحاث في مجلة: Proceedings of the ACM on Programming Languages
-
استخدام النقاط العائمة على GitHub: دراسة واسعة النطاق للغات ذات النوع الثابت
2026 | المؤلف: Andrea Gilot وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: الأجهزة والهندسة المعمارية (Hardware and Architecture)تقدم هذه القسم نظرة شاملة لدراسة تجريبية واسعة النطاق تبحث في استخدام الحسابات العائمة في مستودعات GitHub العامة، مع التركيز بشكل خاص على لغات البرمجة ذات النوع الثابت. يبرز المؤلفون التحديات المرتبطة بالتفكير في الحسابات العائمة والحاجة إلى تقنيات تحليل محسنة قابلة للتطبيق على الشيفرة البرمجية في العالم الحقيقي. لمعالجة ذلك، يستخدمون ممارسات تعدين متقدمة،…
-
وظائف التجريد كأنواع: التحقق المعياري للتكلفة والسلوك في نظرية الأنواع المعتمدة
2026 | المؤلف: Zhenyun Du | المجلة: Proceedings of the ACM on Programming Languages | المجال: الذكاء الاصطناعي (Artificial Intelligence)تقدم هذه الورقة نهجًا جديدًا للتحقق المعياري في تطوير البرمجيات من خلال دمج منهجية هوار ضمن نظرية الأنواع المعتمدة غير القابلة للتغيير. تتناول القيود المفروضة على طرق التحقق التقليدية، التي تفصل بين التنفيذ والمواصفات دون دعم لغوي للحفاظ على هذا الفصل. يقدم المؤلفون تمييزًا بين المراحل يشفر وظائف التجريد كأنواع، مما يسمح بإنشاء لاصق يربط…
-
U-Turn: تعزيز تحليل الخطأ من خلال عكس الاتجاه
2026 | المؤلف: Flavio Ascari وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: البرمجيات (Software)في هذا القسم، يناقش المؤلفون دمج منطق عدم الصحة لـ O’Hearn (IL) مع منطق عدم الصحة الكافي (SIL) لتعزيز تحليل البرامج الثابتة لاكتشاف الأخطاء. يهدف هذا النهج المدمج إلى تحسين دقة وفعالية تحديد حالات الأخطاء القابلة للوصول وأسبابها المحتملة. يقترح المؤلفون نظام إثبات جديد يسمى U-Turn، والذي يسمح بإعادة استخدام الخيارات الاستدلالية من IL لتوجيه…