指称语义 在计算机科学中指称语义英語Denotational semantics是通过构造表达其语义的叫做指称denotation或意义的数学对象来形式化计算机系统的语义的一种方法编程语言的形式语义的其他方法包括公理语义和操作语义指称语义方式最初开发来处理一个单一计算机程序定义的系统后来领域扩展到了由多于一个程序构成的系统比如网络和并发系统 指称语义起源于 克里斯托弗斯特雷奇 和 Dana Scott 在年代的工作在 Strachey 和 Scott 最初开发的时候指称语义把计算机程序的指称意义解释为映射输入到输出的函数后来证明对于允许包含递归定义的函数和数据结构这样的元素的程序的指称意义定义太受限制了为了解决这个困难Scott 介入了基于域的指称语义的一般性方法Abramsky and Jung 后来的研究者介入了基于幂域的方法来解决并发系统的语义的问题Clinger  粗略的说指称语义关注找到代表程序所做所为的数学对象这种对象的搜集叫做域例如程序或程序段可以被偏函数或演员事件图想定或用环境和系统之间的博弈表示 它们都是域的一般性例子 指称语义的一个重要原则是语义应当是复合性的 程序段的指称应当建立自它的子段的指称最简单的例子是   的意义确定自和的意义 指称语义最初被开发为把函数式和顺序式程序建模为映射输入到输出的数学函数的框架本文第一节描述在这个框架内开发的指称语义后续章节处理多态并发等问题