في المعلوماتية النظرية، السيمانتيك الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.