التعلم الآلي الموسع

📅 آخر تحديث: ٢٦ يوليو ٢٠٢٦
✍️ نُشر في: ٢٦ يوليو ٢٠٢٦
الموسوعة الحرة

لغة Extended ML هي لغة برمجة عامة الأغراض وعالية المستوى وواسعة النطاق ، مبنية على لغتي ML و Standard ML ، وتغطي كلاً من توصيف البرامج وتنفيذها. تُوسّع هذه اللغة بنية ML لتشمل البديهيات ، التي لا يشترط أن تكون قابلة للتنفيذ، ولكنها قادرة على تحديد سلوك البرنامج بدقة. بفضل هذه الإضافة، يمكن استخدام اللغة للتحسين التدريجي، بدءًا من توصيف رسمي أولي وصولًا إلى برنامج Standard ML قابل للتنفيذ. ويمكن التحقق من صحة البرنامج النهائي مقارنةً بالتوصيف الأصلي من خلال إثبات صحة كل خطوة من خطوات التحسين. تُستخدم Extended ML في البحث والتدريس في مجال الأساليب الرسمية لتطوير البرامج وتوصيفها، وفي البحث في التحقق الآلي من البرامج .

لا ترتبط لغة ML الموسعة بلغة البرمجة Extensible ML (بخلاف كونها مشتقة بشكل مشابه من ML)، ولا بلغة المواصفات Extensible Markup Language (XML).

مراجع

  • سانيلا، د .؛ تارليكي، أ. (1986). "لغة ML الموسعة: إطار عمل مستقل عن المؤسسات لتطوير البرامج الرسمية". وقائع ورشة عمل نظرية الفئات وبرمجة الحاسوب: ETAPS'98 . المجلد  173. لشبونة، البرتغال: Springer LNCS 240. الصفحات 364-389 . ورشة عمل في جيلدفورد، إنجلترا؛ 1985.
  • سانيلا، د .؛ تارليكي، أ. (1989). نحو تطوير رسمي لبرامج التعلم الآلي: الأسس والمنهجية؛ ECS-LFCS-89-71 (تقرير). إدنبرة، اسكتلندا: مختبر أسس علوم الحاسوب، جامعة إدنبرة.ملخص موسع في وقائع المؤتمر المشترك حول نظرية وممارسة تطوير البرمجيات، برشلونة، إسبانيا، Springer LNCS، ص 352، 375-389 (1989).
  • كارز، س.؛ سانيلا، د .؛ تارليكي، أ. (1994). "الواجهات ولغة ML الموسعة". وقائع ورشة عمل ACM حول لغات تعريف الواجهات . إشعارات SIGPLAN. المجلد  29. بورتلاند، أوريغون. الصفحات 111-118 . {{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط )
  • كارز، س.؛ سانيلا، د .؛ تارليكي، أ. (28 فبراير 1997). "تعريف لغة ML الموسعة: مقدمة مبسطة". علوم الحاسوب النظرية . 173 (2): 445-484 . doi : 10.1016/S0304-3975(96)00163-6 .
  • كارز، س.؛ سانيلا، د. (1998). "تأملات في تصميم لغة المواصفات". وقائع الندوة الدولية حول المناهج الأساسية لهندسة البرمجيات: ETAPS'98 . المجلد  173. لشبونة، البرتغال: Springer LNCS 1382. الصفحات 154-170 . 
  • سانيلا، د .؛ تارليكي، أ. (1999). "الأساليب الجبرية لتحديد وتطوير البرامج بشكل رسمي". مجلة ACM Computing Surveys . 31 (3es): 10. doi : 10.1145/333580.333589 .