نظرية لغات البرمجة
نظرية لغة البرمجة (PLT) هي فرع من علوم الحاسوب التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. إنه يقع ضمن تخصص علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات وحتى العلوم المعرفية والتأثير عليها. إنه فرع معروف جيدًا لعلوم الحاسوب، وهو مجال بحث نشط، له نتائج منشورة في العديد من المجلات المخصصة لنظرية لغات البرمجة، وكذلك في منشورات علوم وهندسة الحاسوب العامة.[1]
انظر أيضًا[عدل]
المراجع[عدل]
- ^ Abadi, Martín and Cardelli, Luca. A Theory of Objects. Springer-Verlag.
| العتاد | |
|---|---|
| بنية الأنظمة | |
| الشبكات | |
| بنية البرمجيات | |
| نظرية لغات البرمجة وأدواتها | |
| تطوير البرمجيات | |
| نظرية الحوسبة | |
| الخوارزميات | |
| رياضيات الحوسبة | |
| نظم المعلومات | |
| الأمن | |
| التفاعل الإنساني الحاسويبي | |
| تزامن | |
| الذكاء الاصطناعي | |
| تعلم الآلة |
|
| رسوميَّات | |
| الحوسبة التطبيقيَّة | |
| نظرية لغات البرمجة في المشاريع الشقيقة: | |
| |
