الرئيسيةعريقبحث

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


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

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

المراجع

  1. Knuth, Donald E. "Memorial Resolution: Robert W. Floyd (1936-2001)" ( كتاب إلكتروني PDF ). Stanford University Faculty Memorials. Stanford Historical Society. مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 12 مارس 2012.

موسوعات ذات صلة :