يرجى إضافة قالب معلومات متعلّقة بموضوع المقالة.

علم الدلالة الشكلي

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.[1]

يعطى علم الدلالة الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.

المراجع

  1. ^ Knuth، Donald E. "Memorial Resolution: Robert W. Floyd (1936-2001)" (PDF). Stanford University Faculty Memorials. Stanford Historical Society. مؤرشف من الأصل (PDF) في 2012-03-12.