什么是指称语义？ -技术百科的定义

定义-指称语义是什么意思？

在计算机科学中，指称语义是一种为系统和编程语言提供数学含义的方法。 换句话说，指称语义是表达编程语言的语义定义的一种形式技术。

该方法由牛津大学的Christopher Strachey的程序设计研究小组于1960年代开发，其方法包括符号优雅和数学严谨。 尽管最初将指称语义设计为分析工具，但它已被用作实现和语言设计的工具。

技术百科解释了指称语义

在指称语义中，基本思想是将与编程语言关联的每个语法实体映射到某种形式的数学实体，然后将编程语言的构造转换为数学对象。

指称语义定义包括五个部分：

• 语义方程
• 句法类别
• 语义功能
• 定义语法类别结构的Backus范式（BNF）
• 价值领域

已经为现代语言开发了指称语义，其具有诸如异常和并发的功能。 指称语义的重要特征之一是语义应具有组成性，这意味着可以根据其子短语的表示来构造编程短语的表示。

指称语义有一些明显的优势。 与其他替代方案相比，它是描述较小程序含义的最简单机制。 指称语义能够解释程序中的状态。 但是，用于描述高级特性（如goto语句和递归）的指称语义往往非常复杂。