انتقل إلى المحتوى

مستخدم:Aminetiti/ملعب

من ويكيبيديا، الموسوعة الحرة

نظرية لغة البرمجة (PLT) هي فرع من علوم الكمبيوتر التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. انها تقع داخل الانضباط علوم الكمبيوتر، سواء بالاعتماد على وتؤثر الرياضيات وهندسة البرمجيات وعلم اللغة. بل هو فرع معترف بها من علوم الكمبيوتر، وتبلغ مساحتها الأبحاث النشطة، مع النتائج التي نشرت في العديد من المجلات مخصصة لمعاهدة قانون البراءات، وكذلك في علوم الكمبيوتر العامة والمطبوعات الهندسية.