علم الدلالة الشكلي
Sign in to saveAlso known as semantics, formal semantics, program semantics
the field concerned with the rigorous mathematical study of the meaning of programming languages
Wikidata facts
- Subclass of
- programming language theory
Show 2 more facts
- Stack Exchange tag
- stackoverflow.com/tags/formal-semantics
- topic's main category
- Category:Programming language semantics
via Wikidata · CC0
Article · العربية
في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب. يعطى علم الدلالة الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.
Abstract from DBpedia / Wikipedia · CC BY-SA