形式语义学-一流百科

形式语义学

形式语义学在编程语言理论中，语义学是对编程语言含义的严格数学研究。语义为编程语言语法中的有效字符串分配计算意义。语义描述了计算机在以该特定语言执行...