静态语义

（计算机科学技术）

静态语义（static semantics），计算机科学技术名词，一类程序形式语义。涉及到程序形式合法性的检查，与编译时的各种动作对应，它与程序运行时所需的输入无关。