لغة التجميع المكتوبة
في علوم الحاسوب ، تُعرف لغة التجميع المُعَدّة ( TAL ) بأنها لغة تجميع مُوسّعة لتشمل طريقة لتحديد نوع بيانات كل قيمة يتم التعامل معها بواسطة الكود. يمكن لبرنامج (مدقق الأنواع) استخدام هذه المعلومات لتحليل سلوك الكود عند تنفيذه. تحديدًا، يمكن استخدام مدقق الأنواع هذا لإثبات سلامة أنواع الكود الذي يستوفي معايير نظام أنواع مناسب . [ 1 ]
توفر لغات التجميع المكتوبة آليات لوصف أنواع القيم المخزنة في المسجلات والذاكرة والتحقق منها . تسمح هذه الآليات لنظام النوع بفرض استخدام آمن للمؤشرات ، وإطارات المكدس ، وهياكل البيانات المخصصة في الكومة ، بغض النظر عن أي استراتيجية محددة لإدارة الذاكرة . [ 1 ]
يمكن استخدام لغة التجميع المكتوبة لدعم بيئة تنفيذ موثوقة . وبما أنه يمكن التحقق من خصائص السلامة بشكل ثابت عن طريق فحص أنواع البرنامج، فإن الأنظمة القائمة على لغة التجميع المكتوبة بلغة TAL تنفذ التعليمات البرمجية الأصلية مباشرةً دون الاعتماد على التعليمات البرمجية الوسيطة المفسرة أو الآلة الافتراضية . [ 1 ]
انظر أيضاً
مراجع
- 1 2 3 غريغ موريسيت (2002). "لغة التجميع المكتوبة". في بنجامين سي. بيرس (محرر). مواضيع متقدمة في الأنواع ولغات البرمجة (ملف PDF) . مطبعة معهد ماساتشوستس للتكنولوجيا . الصفحات 137-176 .
روابط خارجية
- مقالات قصيرة في علوم الحاسوب
- مواضيع لغات البرمجة
- لغات التجميع
- نظرية لغات البرمجة
- هندسة الأمن السيبراني