内容
- 定义-指称语义是什么意思？
- Microsoft Azure和Microsoft Cloud简介在本指南中，您将了解什么是云计算，以及Microsoft Azure如何帮助您从云迁移和运行业务。
- 技术百科解释了指称语义
定义-指称语义是什么意思？
在计算机科学中，指称语义是一种为系统和编程语言提供数学含义的方法。换句话说，指称语义是表达编程语言的语义定义的一种形式技术。
该方法学由克里斯托弗·斯特拉希斯（Christopher Stracheys）编程研究小组在牛津大学（Oxford University）于1960年代开发，该方法包括符号优雅和数学严格。尽管最初将指称语义设计为分析工具，但它已被用作实现和语言设计的工具。
Microsoft Azure和Microsoft Cloud简介在本指南中，您将了解什么是云计算，以及Microsoft Azure如何帮助您从云迁移和运行业务。
技术百科解释了指称语义
在指称语义中，基本思想是将与编程语言关联的每个语法实体映射到某种形式的数学实体，然后将编程语言的构造转换为数学对象。
指称语义定义包括五个部分：
- 语义方程
- 句法类别
- 语义功能
- 定义语法类别结构的Backus范式（BNF）
- 价值领域
已经为现代语言开发了指称语义，其具有诸如异常和并发的功能。指称语义的重要特征之一是语义应该是组成性的，这意味着可以根据其短语的表示来构造编程短语的表示。
指称语义有一些明显的优势。与其他替代方案相比，它是描述较小程序含义的最简单机制。指称语义能够解释程序中的状态。但是，用于描述高级特性（如goto语句和递归）的指称语义往往非常复杂。